Incremental generation of abductive explanations for tactical behavior (2008)

by Thomas Wagner , Tjorben Bogon , Carsten Elfers
Venue:RoboCup 2007: Robot Soccer World Cup XI
Citations:1 - 0 self

Active Bibliography

2 M.: Automata-based abduction for tractable diagnosis – Thomas M. Hubauer, Steffen Lamparter, Michael Pirker - 2010
Extending Bayesian Logic Programs for Plan Recognition and Machine Reading – Sindhu V. Raghavan
Jude ShavlikBayesian Logic Programs for Plan Recognition and Machine Reading – Sindhu Vijaya Raghavan, Raymond J. Mooney, Kenneth Barker, Joydeep Ghosh, Pradeep Ravikumar, Sindhu Vijaya Raghavan
4 Generating all Abductive Explanations for Queries on Propositional Horn Theories – Thomas Eiter, Kazuhisa Makino - 2003
31 New Algorithms for Enumerating All Maximal Cliques – Kazuhisa Makino, Takeaki Uno - 2004
unknown title – Endre Boros, Vladimir Gurvich - 2007
5 Abduction and the Dualization Problem – Thomas Eiter, Kazuhisa Makino - 2003
32 Horn Approximations of Empirical Data – Henry Kautz, Michael Kearns, Bart Selman - 1995
4 Plan Recognition: Achievements, Problems, and Prospects – Sandra Carberry - 1996
10 Case-Based Plan Recognition with Incomplete Plan Libraries – Boris Kerkez, Michael T. Cox
25 Corpus-based, Statistical Goal Recognition – Nate Blaylock, James Allen - 2003
87 Compositional Shape Analysis by means of Bi-Abduction – Cristiano Calcagno, Dino Distefano, Peter O'Hearn, Hongseok Yang - 2009
Accepted for publication in Journal of the ACM Compositional Shape Analysis by means of Bi-Abduction – Cristiano Calcagno, Dino Distefano, Peter W. O’hearn, Hongseok Yang
Hybrid Symbolic-Probabilistic Plan Recognizer: Initial steps – Dorit Avrahami-zilberbr, Gal A. Kaminka
2 Plan Recognition in Exploratory Domains – Ya'acov Gal, et al. - 2011
Belief Revision in the context of . . . – S. Subramanian - 1992
5 Bayesian Abductive Logic Programs – Sindhu Raghavan, Raymond Mooney
5 Propositional abduction is almost always hard – Gustav Nordh, Bruno Zanuttini - 2005
8 New Polynomial Classes for Logic-Based Abduction – Bruno Zanuttini - 2003