Author of the publication

Enumerating the Preconditions of Agent Message Types.

, and . AI, volume 2671 of Lecture Notes in Computer Science, page 50-65. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You., and . CoRR, (2017)Pecularities of Some Three- and Four-Valued Second Order Logics., and . Logica Universalis, 12 (3-4): 493-509 (2018)Building a reference lexicon for countability in English., , and . LREC, page 995-1000. European Language Resources Association (ELRA), (2014)Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence., , , and . IJCAI, page 3134-3140. AAAI Press, (2015)Is Logic all in our Heads? From Naturalism to Psychologism., , and . Stud Logica, 88 (1): 3-66 (2008)Second-Order Logic of Paradox., and . Notre Dame J. Formal Log., 59 (4): 547-558 (2018)On Some Alleged Misconceptions about Fuzzy Logic.. Artif. Intell. Rev., 22 (1): 71-82 (2004)Hoping for the Truth - A Survey of the TPTP Logics., and . FLAIRS, page 110-115. AAAI Press, (2016)The Philosophy of Automated Theorem Proving.. IJCAI, page 1039-1045. Morgan Kaufmann, (1991)JGXYZ: An ATP System for Gap and Glut Logics., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 526-537. Springer, (2019)