|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![Springer, 3-540-62843-6 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dix, Frieder Stolzenburg |
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 202-224, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Osorio 0001, Bharat Jayaraman |
Aggregation and Well-Founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 71-90, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bochman |
On Logics and Semantics for General Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 37-56, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Luís Moniz Pereira |
Update-Programs Can Update Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 110-131, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski |
Prolegomena to Logic Programming for Non-monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 1-36, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 91-109, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass, Ulrich Zukowski, Burkhard Freitag |
Transformation-Based Bottom-Up Computation of the Well-Founded Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 171-201, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Bidoit, Sofian Maabout |
Update Programs Versus Revision Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 151-170, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 132-150, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | David Pearce 0001 |
A New Logical Characterisation of Stable Models and Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, pp. 57-70, 1996, Springer, 3-540-62843-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![Springer, 3-540-59467-1 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Luís Moniz Pereira |
An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 3-22, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass, Jürgen Dix |
A general Approach to Bottom-Up Computation of Disjunctive Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 127-155, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jia-Huai You, Li-Yan Yuan |
Logic Programming with Assumption Denials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 85-100, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
Static Semantics as Program Transformation and Well-founded Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 156-180, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Lars Degerstedt, Ulf Nilsson |
Magic Computation for Wll-founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 181-204, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Cees Witteveen |
Every Normal Program has a Nearly-Stable Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 68-84, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Monica D. Barback, Jorge Lobo 0001 |
A Resolution-based Procedure for Default Theories with Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 101-126, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Carolina Ruiz, Jack Minker |
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 205-229, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz, Hudson Turner |
From Disjunctive Programs to Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 23-42, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 43-67, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|