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
Highly Influential Citations
16
Background Citations
71
Methods Citations
42
Results Citations
6

Topics from this paper

      239 Citations

      Citation Type

      Citation Type

      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
      ...