Sciweavers

797 search results - page 6 / 160
» Logics with an existential modality
Sort
View
97
Voted
JANCL
2002
121views more  JANCL 2002»
15 years 9 days ago
Approximate coherence-based reasoning
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
Frédéric Koriche
87
Voted
LICS
1998
IEEE
15 years 4 months ago
Existential Second-Order Logic over Strings
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
Thomas Eiter, Georg Gottlob, Yuri Gurevich
DIAGRAMS
2008
Springer
15 years 2 months ago
Diagrammatic Logic of Existential Graphs: A Case Study of Commands
Diagrammatic logics have advantages over symbolic cousins. Peirce thought that logical diagrams (Existential Graphs, EG) are capable of "expression of all assertions", as...
Ahti-Veikko Pietarinen
85
Voted
MFCS
2000
Springer
15 years 4 months ago
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey
The probability of a property on the collection of all finite relational structures is the limit as
Phokion G. Kolaitis, Moshe Y. Vardi
35
Voted
BIRTHDAY
1987
Springer
15 years 4 months ago
Existential Fixed-Point Logic
Andreas Blass, Yuri Gurevich