Record: found
Abstract: not found
Book Chapter: not found

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

other

Author(s): Pedro Cabalar , David Pearce , Agustín Valverde

Publication date (Print): 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 15

Record: found
Abstract: not found
Article: not found

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz (1991)

0 comments Cited 221 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen (2002)

0 comments Cited 88 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Strongly equivalent logic programs

Agustín Valverde, Valdimir Lifschitz, David G. Pearce (2001)

0 comments Cited 42 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 4-17

DOI: 10.1007/11595014_2

SO-VID: 38f9f9a6-cc79-41a2-9c62-141d576d6926

History

Data availability:

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

Read this book at

Related collections

ScienceOpen Research

Most cited references 15

Classical negation in logic programs and disjunctive databases

Extending and implementing the stable model semantics

Strongly equivalent logic programs

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,642

Cited by 2