23. ICLP 2007:
Porto, Portugal Verónica Dahl , Ilkka Niemelä (Eds.):
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings.
Lecture Notes in Computer Science 4670 Springer 2007, ISBN 978-3-540-74608-9 Invited Talks
export record as
dblp key:
Chitta Baral ,
Juraj Dzifcak ,
Luis Tari :
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.
1-21
export record as
dblp key:
Invited Tutorials
export record as
dblp key:
Thomas Eiter :
Answer Set Programming for the Semantic Web.
23-26
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Answer Set Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Applications
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Constraint Logic Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Semantics
export record as
dblp key:
export record as
dblp key:
Program Analysis
export record as
dblp key:
Lee Naish :
Resource-Oriented Deadlock Analysis.
302-316
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Special Interest Paper
export record as
dblp key:
Implementation
export record as
dblp key:
export record as
dblp key:
Poster Presentations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Levente Hunyadi :
Prosper: A Framework for Extending Prolog Applications with a Web Interface.
432-433
export record as
dblp key:
export record as
dblp key:
Alexei A. Morozov :
Visual Logic Programming Method Based on Structural Analysis and Design Technique.
436-437
export record as
dblp key:
Linh Anh Nguyen :
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.
438-439
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/iclp/NieuwenborghCV07 export record as
dblp key:
Margaret M. West :
The Use of a Logic Programming Language in the Animation of Z Specifications.
451-452
export record as
dblp key:
Ka-Shu Wong :
A Stronger Notion of Equivalence for Logic Programs.
453-454
export record as
dblp key:
Neng-Fa Zhou :
A Register-Free Abstract Prolog Machine with Jumbo Instructions.
455-457
export record as
dblp key:
Martin Gebser :
Advanced Techniques for Answer Set Programming.
458-459
Doctoral Consortium Presentations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
