Chapter: Declarative and Fixpoint Characterizations of Disjunctive Stable Models

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Logic Programming: The 1995 International Symposium > Declarative and Fixpoint Characterizations of Disjunctive Stable Models

Logic Programming: The 1995 International Symposium |

John W. Lloyd

MIT Press,

Logic Programming: The 1995 International Symposium

Declarative and Fixpoint Characterizations of Disjunctive Stable Models

Chapter Info

ARI Id

1671269114478_9866

Access

Not Available Free

DOI

10.7551/mitpress/4301.003.0042

Chapter URL

https://direct.mit.edu/books/book/3978/chapter/165970/Declarative-and-Fixpoint-Characterizations-of

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 20 of 59 entries

Chapters/Headings	Author(s)	Pages	Info
Goal Solving as Operational Semantics
How to Declare an Imperative
Surviving the AI Winter
Logic Programming and Object Modelling
Monadic Constructs for Logic Programming
Implementing the Linear Logic Programming Language Lygon
Relationlog
Top-Down beats Bottom-Up for Constraint Extensions of Datalog
Objects in Forum
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
Abstraction of Conditional Term Rewriting Systems
Clause-based proofs for hereditary Harrop formulas
Optimizing Clause Resolution
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
The implementation of AKL(FD)
Code generation for Mercury
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages
Declarative Diagnosis Revisited
Semantical Properties of Encodings in Logic Programming
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 20 of 59 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries