Author of the publication

Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems.

. J. Artif. Intell. Res., (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

Team competition., , and . AAMAS (1), page 241-248. IFAAMAS, (2009)State Constraints Revisited., and . J. Log. Comput., 4 (5): 655-678 (1994)On Moving Objects in Dynamic Domains.. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI, (2011)Multi-Aspect co-Attentional Collaborative Filtering for extreme multi-label text classification., , , , and . Knowl. Based Syst., (2023)Preciser comparison: Augmented multi-layer dynamic contrastive strategy for text2text question classification., , , , and . Neurocomputing, (August 2023)Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems.. J. Artif. Intell. Res., (2003)Characterizing causal action theories and their implementations in answer set programming., and . Artif. Intell., (2017)Two Applications of Computer-Aided Theorem Discovery and Verification.. KSEM, volume 5914 of Lecture Notes in Computer Science, page 2. Springer, (2009)Situation Calculus.. Handbook of Knowledge Representation, volume 3 of Foundations of Artificial Intelligence, Elsevier, (2008)VIAP 1.1 - (Competition Contribution)., and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 250-255. Springer, (2019)