Logic Programming and Non-Monotonic Reasoning
LP & NMR '97
Dagstuhl, Germany
July 28--31, 1997
========================================================================
Following is the list of accepted papers for the forthcoming international
conference on LP & NMR. Apart from the presentations of these works,
there will be five invited talks, selected system descriptions/demonstrations,
and a panel discussion on implementation. A preliminary schedule of
scientific programme, registration information, travel details, and other
relevant information will be posted soon. Please visit the conference
home page frequently for updated information.
=======================
LIST OF ACCEPTED PAPERS
=======================
1. A Study of Przymusinski's Static Semantics
A. Bochman
2. Programs with Universally Quantified Embedded Implications
V. Petukhin
3. Is Non-Monotonic Reasoning Always Harder?
U. Egly, H. Tompits
4. Composing General Logic Programs
A. Brogi, S. Contiero, F. Turini
5. Resolution for Skeptical Stable Semantics
P.A. Bonatti
6. Complexity of Only Knowing: The Propositional Case
R. Rosati
7. Modular Logic Programming and Generalized Quantifiers
T. Eiter, G. Gottlob, H. Veith
8. Separating Disbeliefs from Beliefs in Autoepistemic Reasoning
T. Janhunen
9. On Conservative Enforced Updates
M. Dekhtyar, A. Dikovsky, N. Spyratos
10. Affordable Classes of Normal Logic Programs
J. Seitzer, J. Schlipf
11. Generalized Query Answering in Disjunctive Deductive Databases:
Procedural and Non-monotonic Aspects
A. Yahya
12. Power Defaults
G-Q Zhang, W. C. Rounds
13. Strong and Weak Constraints in Disjunctive Datalog
F. Buccafurri, N. Leone, P. Rullo
14. Simulations between Programs as Cellular Automata
H. Blair, F. Dushan, P. Humenn
15. A General Framework for Revising Nonmonotonic Theories
C. Witteveen, W. van der Hoek
16. Computing Non-Ground Representations of Stable Models
T. Eiter, J. Lu, V.S. Subrahmanian
17. A Paraconsistent Semantics with Contradiction Support Detection
C.V. Damasio, L.M. Pereira
18. Nonmonotonic Reasoning with Quantified Boolean Contraints
Ch. Pollett, J. Remmel
19. Improving the Alternating Fixpoint: The Transformation Approach
U. Zukowski, B. Freitag, S. Brass
=====
LPNMR '97 Organizing Committee http://www.uni-koblenz.de/~lpnmr97/
Attention: Chandrabose Aravindan Tel: +49 261 9119 {426,443}
Universitaet Koblenz-Landau Fax: +49 261 9119 496
Fachbereich Informatik lpnmr97@informatik.uni-koblenz.de
Rheinau 1, D-56075 Koblenz, Germany. (For help: send mail with subject 'help')
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-