Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gerhard Brewka |
Preferences, Contexts and Answer Sets. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
Observable Confluence for Constraint Handling Rules. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Verónica Dahl, Ilkka Niemelä (eds.) |
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser |
Advanced Techniques for Answer Set Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gulay Ünel, David Toman 0001 |
Logic Programming Approach to Automata-Based Decision Procedures. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexei A. Morozov |
Visual Logic Programming Method Based on Structural Analysis and Design Technique. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Margaret M. West |
The Use of a Logic Programming Language in the Animation of Z Specifications. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ka-Shu Wong |
A Stronger Notion of Equivalence for Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Girish Keshav Palshikar |
Representation and Execution of a Graph Grammar in Prolog. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
Aggregates in Constraint Handling Rules. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Levente Hunyadi |
Prosper: A Framework for Extending Prolog Applications with a Web Interface. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
application development framework, web integration |
1 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
Logic Programs with Abstract Constraint Atoms: The Role of Computations. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Truszczynski |
Logic Programming for Knowledge Representation. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Van Weert |
Extension and Implementation of CHR. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Mancarella, Giacomo Terreni, Francesca Toni |
Web Sites Verification: An Abductive Logic Programming Tool. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Rocha 0001, Cláudio Silva 0001, Ricardo Lopes |
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
The Correspondence Between the Logical Algorithms Language and CHR. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lee Naish |
Resource-Oriented Deadlock Analysis. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining |
1 | Marcin Czenko, Sandro Etalle |
Core TuLiP Logic Programming for Trust Management. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Emilia Oikarinen |
Modular Answer Set Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Caroprese, Irina Trubitsyna, Ester Zumpano |
View Updating Through Active Integrity Constraints. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
Declarative Diagnosis of Temporal Concurrent Constraint Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
timed concurrent constraint programs, (modular) declarative debugging, denotational semantics, specification logic |
1 | Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo |
On Finitely Recursive Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Vaz, Michel Ferreira, Ricardo Lopes |
Spatial-Yap: A Logic-Based Geographic Information System. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jonty Needham, Marina De Vos |
A Games Semantics of ASP. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Multi-paradigm Declarative Languages. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anderson Faustino da Silva, Vítor Santos Costa |
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Neng-Fa Zhou |
A Register-Free Abstract Prolog Machine with Jumbo Instructions. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Quan Phan, Gerda Janssens |
Static Region Analysis for Mercury. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Calì, Thomas Lukasiewicz |
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes |
Demand-Driven Indexing of Prolog Clauses. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Multivalued Action Languages with Constraints in CLP(FD). |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Greco, Cristian Molinaro |
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
Minimal Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
minimisation of boolean and multivalued functions, logic programming, answer set programming |
1 | Thomas Eiter |
Answer Set Programming for the Semantic Web. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Emilia Oikarinen, Tomi Janhunen |
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau, Brenda Luderman |
A Logic Programming Framework for Combinational Circuit Synthesis. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
logic programming and circuit design, combinatorial object generation, exact combinational circuit synthesis, universal boolean logic libraries, symbolic rewriting, minimal transistor-count circuit synthesis |
1 | Hugo A. López 0001, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia |
A Declarative Framework for Security: Secure Concurrent Constraint Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Chitta Baral, Juraj Dzifcak, Hiro Takahashi |
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Duck, Peter J. Stuckey, Sebastian Brand |
ACD Term Rewriting. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta 0001 |
Coinductive Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo |
Reduced Certificates for Abstraction-Carrying Code. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Anderson Faustino da Silva, Vítor Santos Costa |
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano |
Declarative Semantics of Production Rules for Integrity Maintenance. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Nogueira, Salvador Abreu |
Towards Temporal Contextual Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
Cooperating Answer Set Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Verónica Dahl, Baohua Gu |
Semantic Property Grammars for Knowledge Extraction from Biomedical Text. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh |
Logic Programming in Knowledge Domains. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Katsumi Inoue, Chiaki Sakama |
Generality Relations in Answer Set Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dulce Aguilar-Solis |
Learning Semantic Parsers: A Constraint Handling Rule Approach. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Cláudio Silva 0001, Ricardo Rocha 0001, Ricardo Lopes |
An External Module for Implementing Linear Tabling in Prolog. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Brain, Tom Crick, Marina De Vos, John P. Fitch |
TOAST: Applying Answer Set Programming to Superoptimisation. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Phan Huy Tu |
Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde |
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gergely Lukácsy |
Description Logic Reasoning in Prolog. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Soares |
Deductive Databases: Implementation, Parallelism and Applications. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thi-Bich-Hanh Dao, Khalil Djelloul |
Solving First-Order Constraints in the Theory of the Evaluated Trees. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe |
Predicate Introduction Under Stable and Well-Founded Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau |
Integrating Datalog with OWL: Exploring the AL-log Approach. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andy King, Lunjin Lu, Samir Genaim |
Detecting Determinacy in Prolog Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Quan Phan, Gerda Janssens |
Towards Region-Based Memory Management for Mercury Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | C. R. Ramakrishnan 0001, I. V. Ramakrishnan, David Scott Warren |
Deductive Spreadsheets Using Tabled Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Torsten Schaub |
Tableau Calculi for Answer Set Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Monica S. Lam |
Why Use Datalog to Analyze Programs? |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, Miao Liu, Bharat Jayaraman |
Relaxation on Optimization Predicates. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Welty |
Semantic Web: The Story of the RIFt so Far. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Maarten H. van Emden |
Compositional Semantics for the Procedural Interpretation of Logic. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Petra Schwaiger, Burkhard Freitag |
Using Answer Set Programming for the Automatic Compilation of Assessment Tests. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
Overlapping Rules and Logic Variables in Functional Logic Programs . |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Memory Reuse for CHR. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Abreu, Vítor Nogueira |
Towards Structured Contexts and Modules. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Péter G. N. Szabó, Péter Szeredi |
Improving the ISO Prolog Standard by Analyzing Compliance Test Results. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Quan Phan |
Static Memory Management for Logic Programming Languages. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Grell, Torsten Schaub, Joachim Selbig |
Modelling Biological Networks by Action Languages Via Answer Set Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ka-Shu Wong |
Deducing Logic Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Rocha 0001 |
Handling Incomplete and Complete Tables in Tabled Logic Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno |
LMNtal as a Unifying Declarative Language: Live Demonstration. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney |
The Semantics of Nominal Logic Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Juan Fernández Ortiz, Jørgen Villadsen |
Natural Language Processing Using Lexical and Logical Combinators. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Etalle, Miroslaw Truszczynski (eds.) |
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luis Quintano, Irene Rodrigues 0001 |
Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Li, Andy King, Lunjin Lu |
Collapsing Closures. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Moura, Vincent Marchetti |
Logtalk Processing of STEP Part 21 Files. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Brain |
Declarative Problem Solving Using Answer Set Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Brand, Roland H. C. Yap |
Towards "Propagation = Logic + Control". |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Pontelli, Tran Cao Son |
Justifications for Logic Programs Under Answer Set Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Haemmerlé, François Fages |
Modules for Prolog Revisited. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tony Lambert, Carlos Castro 0001, Éric Monfroy, María Cristina Riff, Frédéric Saubion |
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Sarkar, Brigitte Pientka, Karl Crary |
Small Proof Witnesses for LF. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
Modeling Systems in CLP. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Marco Maratea |
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Vinicius Santos |
Denotational Semantics Using Horn Concurrent Transaction Logic. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Gabbrielli, Gopal Gupta 0001 (eds.) |
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Nogueira |
A Temporal Programming Language for Heterogeneous Information Systems. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|