|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.) |
Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers  |
NMELP  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Frieder Stolzenburg |
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, Bharat Jayaraman |
Aggregation and Well-Founded Semantics. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bochman |
On Logics and Semantics for General Logic Programs. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira |
Update-Programs Can Update Programs. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski |
Prolegomena to Logic Programming for Non-monotonic Reasoning. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Brass, Ulrich Zukowski, Burkhard Freitag |
Transformation-Based Bottom-Up Computation of the Well-Founded Model. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Bidoit, Sofian Maabout |
Update Programs Versus Revision Programs. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Laura Giordano 0001, Alberto Martelli, Viviana Patti |
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce 0001 |
A New Logical Characterisation of Stable Models and Answer Sets. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.) |
Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers |
NMELP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira |
An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix |
A general Approach to Bottom-Up Computation of Disjunctive Semantics. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan |
Logic Programming with Assumption Denials. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
Static Semantics as Program Transformation and Well-founded Computation. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Degerstedt, Ulf Nilsson |
Magic Computation for Wll-founded Semantics. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen |
Every Normal Program has a Nearly-Stable Model. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica D. Barback, Jorge Lobo 0001 |
A Resolution-based Procedure for Default Theories with Extensions. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolina Ruiz, Jack Minker |
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Hudson Turner |
From Disjunctive Programs to Abduction. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Teodor C. Przymusinski |
Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license