Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Book

The universal tangle for spatial reasoning

Subjects: Mathematics and Statistics; Logic; Modal Logic

  • Source: Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings ; ISSN: 0302-9743 ; ISSN: 1611-3349 ; ISBN: 9783031436185 ; ISBN:

تفاصيل العنوان

×
Conference

A Gödel calculus for linear temporal logic

Subjects: Mathematics and Statistics; Uncertainty; vagueness

  • Source: Principles of Knowledge Representation and Reasoning, 19th International conference, Proceedings ; ISSN: 2334-1033 ; ISBN: 9781956792010

تفاصيل العنوان

×
Conference

Time and Godel : fuzzy temporal reasoning in PSPACE

Subjects: Mathematics and Statistics; Godel-Dummett logic; linear temporal logic

  • Source: LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022 ; ISSN: 0302-9743 ; ISSN: 1611-3349 ; ISBN: 9783031152979 ; ISBN: 9783031152986

تفاصيل العنوان

×
  • 1-10 ل  37 نتائج ل ""duque""