Corpus ID: 45006221

Generalized Stable Models: A Semantics for Abduction

@inproceedings{Kakas1990GeneralizedSM,
  title={Generalized Stable Models: A Semantics for Abduction},
  author={A. Kakas and P. Mancarella},
  booktitle={ECAI},
  year={1990}
}
239 Citations

Topics from this paper

Maintaining Knowledge Bases at the Object Level
  • J.C.A. Guadarrama
  • Computer Science
  • 2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)
  • 2007
  • 8
  • Highly Influenced
Implementing a Knowledge Bases Debugger
  • Highly Influenced
Towards a Logic-programming System to Debug ASP Knowledge Bases
  • 1
  • Highly Influenced
  • PDF
Knowledge Assimilation 103 Default Reasoning viewed as Abduction 134 Negation as Failure as Abduction
  • Highly Influenced
  • PDF
Implementing Knowledge Update Sequences
  • 4
  • Highly Influenced
Update Sequences in Generalised Answer Set Programming Based on Structural Properties
  • 7
  • Highly Influenced
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
  • 86
  • Highly Influenced
  • PDF
The role of abduction in database view updating
  • 39
  • Highly Influenced
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
  • 2
  • Highly Influenced
  • PDF
A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming
  • 11
  • Highly Influenced
...
1
2
3
4
5
...