Lecture Notes in Artificial Intelligence
© 2005
Progress in Artificial Intelligence
12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
Editors: Bento, Carlos, Cardoso, Amilcar, Dias, Gael (Eds.)
Free PreviewBuy this book
- Table of contents (67 chapters)
-
-
Introduction
Pages 3-3
-
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
Pages 4-17
-
Preference Revision Via Declarative Debugging
Pages 18-28
-
Revised Stable Models – A Semantics for Logic Programs
Pages 29-42
-
Operational Semantics for DyLPs
Pages 43-54
-
Table of contents (67 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Progress in Artificial Intelligence
- Book Subtitle
- 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
- Editors
-
- Carlos Bento
- Amilcar Cardoso
- Gael Dias
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 3808
- Copyright
- 2005
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-31646-6
- DOI
- 10.1007/11595014
- Softcover ISBN
- 978-3-540-30737-2
- Edition Number
- 1
- Number of Pages
- XX, 708
- Topics