default search action
Theory and Practice of Logic Programming (TPLP), Volume 6
Volume 6, Number 1-2, January 2006
- Phan Minh Dung, Do Duc Hanh, Phan Minh Thang:
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. 1-22 - Thomas Eiter, Axel Polleres
:
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. 23-60 - Kathrin Konczak, Thomas Linke, Torsten Schaub
Graphs and colorings for answer set programming. 61-106 - Davy Van Nieuwenborgh, Dirk Vermeir:
Preferred answer sets for ordered logic programs. 107-167
- Stefania Costantini
On the existence of stable models of non-stratified logic programs. 169-212
- Tom Schrijvers
Optimal union-find in Constraint Handling Rules. 213-224
Volume 6, Number 3, May 2006
- Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. 225-226 - Antonín Kucera
Equivalence-checking on infinite-state systems: Techniques and results. 227-264 - Moreno Falaschi
Automatic verification of timed concurrent constraint programs. 265-300 - Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
State space computation and analysis of Time Petri Nets. 301-320 - Ahmed Bouajjani, Agathe Merceron
Parametric Verification of a Group Membership Algorithm. 321-353
Volume 6, Number 4, July 2006
- Yann Loyer, Umberto Straccia
Epistemic foundation of stable model semantics. 355-393 - Zbigniew Lonc
Computing minimal models, stable models and answer sets. 395-449 - Hahnsang Kim, Thierry Turletti, Amar Bouali:
EPspectra: a formal toolkit for developing DSP software applications. 451-481
Volume 6, Number 5, September 2006
- Neng-Fa Zhou:
Programming finite-domain constraint propagators in Action Rules. 483-507 - Lee Naish:
A three-valued semantics for logic programmers. 509-538 - Esra Erdem
Temporal phylogenetic networks and logic programming. 539-558 - Tran Cao Son, Enrico Pontelli
Planning with preferences using logic programming. 559-607
Volume 6, Number 6, November 2006
- Tom Schrijvers
Improving PARMA trailing. 609-644 - Agostino Dovier
Set unification. 645-701 - Grigoris Antoniou
Embedding defeasible logic into logic programming. 703-735
- Susumu Yamasaki
Logic programming with default, weak and strict negations. 737-749
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: