Artificial Intelligence and Decision Making
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Artificial Intelligence and Decision Making:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Artificial Intelligence and Decision Making, 2016, Issue 1, Pages 75–88 (Mi iipr278)  
Methods of reasoning and knowledge representation

Deduction algorithms for some extensions of Allen’s interval logic

G. S. Plesnevitch, Nguyen Thi Minh Vu

National Research University "Moscow Power Engineering Institute"
Full-text PDF (599 kB)
Abstract: This paper considers Allen’s interval logic language and the languages whose statements are Boolean combinations of Allen’s logic statements, possibly, with metric information. Some deduction algorithms for the languages are presented. The algorithms are based on the analytic tableaux method.
Keywords: temporal logics, Allen’s interval logic, analytical tableaux method, deduction algorithms.
English version:
Scientific and Technical Information Processing, 2016, Volume 44, Issue 5, Pages 345–356
DOI: https://doi.org/10.3103/S0147688217050100
Bibliographic databases:
Document Type: Article
Language: Russian
Citation: G. S. Plesnevitch, Nguyen Thi Minh Vu, “Deduction algorithms for some extensions of Allen’s interval logic”, Artificial Intelligence and Decision Making, 2016, no. 1, 75–88; Scientific and Technical Information Processing, 44:5 (2016), 345–356
Citation in format AMSBIB
\Bibitem{PleNgu16}
\by G.~S.~Plesnevitch, Nguyen~Thi~Minh~Vu
\paper Deduction algorithms for some extensions of Allen’s interval logic
\jour Artificial Intelligence and Decision Making
\yr 2016
\issue 1
\pages 75--88
\mathnet{http://mi.mathnet.ru/iipr278}
\elib{https://elibrary.ru/item.asp?id=25904284}
\transl
\jour Scientific and Technical Information Processing
\yr 2016
\vol 44
\issue 5
\pages 345--356
\crossref{https://doi.org/10.3103/S0147688217050100}
Linking options:
  • https://www.mathnet.ru/eng/iipr278
  • https://www.mathnet.ru/eng/iipr/y2016/i1/p75
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Artificial Intelligence and Decision Making
    Statistics & downloads:
    Abstract page:6
    Full-text PDF :5
    References:1
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024