|
Conferences in DBLP
- Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
Prolegomena to Logic Programming for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:1-36 [Conf]
- Alexander Bochman
On Logics and Semantics for General Logic Programs. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:37-56 [Conf]
- David Pearce
A New Logical Characterisation of Stable Models and Answer Sets. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:57-70 [Conf]
- Mauricio Osorio, Bharat Jayaraman
Aggregation and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:71-90 [Conf]
- Xianchang Wang, Jia-Huai You, Li-Yan Yuan
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:91-109 [Conf]
- José Júlio Alferes, Luís Moniz Pereira
Update-Programs Can Update Programs. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:110-131 [Conf]
- Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:132-150 [Conf]
- Nicole Bidoit, Sofian Maabout
Update Programs Versus Revision Programs. [Citation Graph (1, 0)][DBLP] NMELP, 1996, pp:151-170 [Conf]
- Stefan Brass, Ulrich Zukowski, Burkhard Freitag
Transformation-Based Bottom-Up Computation of the Well-Founded Model. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:171-201 [Conf]
- Jürgen Dix, Frieder Stolzenburg
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] NMELP, 1996, pp:202-224 [Conf]
|