Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory 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, Thom W. Frühwirth:
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, Petr Jancar:
Equivalence-checking on infinite-state systems: Techniques and results. 227-264 - Moreno Falaschi, Alicia Villanueva:
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, Miroslaw Truszczynski:
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, Vladimir Lifschitz, Donald Ringe:
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, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey:
Improving PARMA trailing. 609-644 - Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set unification. 645-701 - Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Embedding defeasible logic into logic programming. 703-735
- Susumu Yamasaki:
Logic programming with default, weak and strict negations. 737-749
a service of 
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-04-25 05:28 CEST 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:
