Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Angelo Montanari |
Back to Interval Temporal Logics. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen, Phuong-Lan Nguyen |
Environment Reuse in the WAM. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sebastien Siva, James J. Lu, Hantao Zhang 0001 |
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
High-level Implementation, Prolog, And-Parallelism |
1 | Tom Schrijvers, Bart Demoen |
Uniting the Prolog Community. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming |
1 | Paolo Pilozzi, Danny De Schreye |
Termination Analysis of CHR Revisited. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
Termination Analysis, Constraint Handling Rules |
1 | Stephen H. Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad |
TopLog: ILP Using a Logic Program Declarative Bias. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Mileo, Davide Merico, Roberto Bisiani |
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Schaub |
Here's the Beef: Answer Set Programming ! |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Montali, Paolo Torroni, Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Verification from Declarative Specifications Using Logic Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ilkka Niemelä |
Answer Set Programming without Unstratified Negation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey |
Cadmium: An Implementation of ACD Term Rewriting. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Leone, Wolfgang Faber 0001 |
The DLV Project: A Tour from Theory and Research to Applications and Market. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
Engineering an Incremental ASP Solver. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro |
Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanhoof, François Degrave |
An Algorithm for Sophisticated Code Matching in Logic Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Saurin |
Towards Ludics Programming: Interactive Proof Search. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
Ludics, Proof Normalization, Interaction, Logic Programming, Game Semantics, Proof Search |
1 | Yuanlin Zhang 0002, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
Efficient Algorithms for Functional Constraints. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Caroprese, Miroslaw Truszczynski |
Declarative Semantics for Active Integrity Constraints. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter |
SMS and ASP: Hype or TST?. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Riguzzi |
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
Topics Probabilistic Logic Programming, Logic Programs with Annotated Disjunctions, Well Founded Semantics, SLG resolution |
1 | Raffaele Cipriano, Agostino Dovier, Jacopo Mauro |
Compiling and Executing Declarative Modeling Languages to Gecode. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Oetsch, Hans Tompits |
Program Correspondence under the Answer-Set Semantics: The Non-ground Case. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schulte 0001, Peter J. Stuckey |
Dynamic Analysis of Bounds Versus Domain Propagation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Costa, Ricardo Rocha 0001 |
Global Storing Mechanisms for Tabled Evaluation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joohyung Lee 0002, Vladimir Lifschitz, Ravi Palla |
Safe Formulas in the General Theory of Stable Models (Preliminary Report). |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Lierler |
Abstract Answer Set Solvers. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar |
Partial Functions and Equality in Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget |
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chitta Baral |
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, José Iborra |
Termination of Narrowing Using Dependency Pairs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon |
A Soft Approach to Multi-objective Optimization. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Piancastelli, Andrea Omicini |
A Multi-theory Logic Language for the World Wide Web. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen, Phuong-Lan Nguyen |
Two WAM Implementations of Action Rules. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Aliaksei Tsitovich |
Detection of Security Vulnerabilities Using Guided Model Checking. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joseph P. Near, William E. Byrd, Daniel P. Friedman |
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Santos Costa |
The Life of a Logic Programming System. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pirrotta |
Extracting and Reasoning about Web Data. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Parisini |
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers |
Constraint Handling Rules. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shay B. Cohen, Robert J. Simmons, Noah A. Smith |
Dynamic Programming Algorithms as Products of Weighted Logic Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio |
An Implementation of Extended P-Log Using XASP. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Maria Garcia de la Banda, Enrico Pontelli (eds.) |
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ole Torp Lassen |
Biosequence Analysis in PRISM. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Pührer, Hans Tompits, Stefan Woltran |
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Valerio Senni, Alberto Pettorossi, Maurizio Proietti |
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen |
Removing Redundancy from Answer Set Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz |
Twelve Definitions of a Stable Model. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Benini, Davide Bertozzi, Michela Milano |
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber |
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rui Marques, Terrance Swift |
Concurrent and Local Evaluation of Normal Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen |
Towards Typed Prolog. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Aranda, Jorge A. Pérez 0001, Camilo Rueda, Frank D. Valencia |
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sabrina Baselice, Piero A. Bonatti |
Composing Normal Programs with Function Symbols. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Truszczynski, Stefan Woltran |
Relativized Hyperequivalence of Logic Programs for Modular Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter W. O'Hearn |
Separation Logic Tutorial. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo |
Negative Ternary Set-Sharing. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Georg Boenn, Martin Brain, Marina De Vos, John ffitch |
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Computable Functions in ASP: Theory and Implementation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira |
Thread-Based Competitive Or-Parallelism. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock |
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
Clark’s completion, fuzzy ASSAT, fuzzy logic, answer set programming |
1 | Gergely Lukácsy, Péter Szeredi, Balázs Kádár |
Prolog Based Description Logic Reasoning. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
logic programming, description logic, resolution, large data sets |
1 | Victor W. Marek |
Quo Vadis Answer Set Programming? |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Telecommunications Feature Subscription as a Partial Order Constraint Problem. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Triska |
Generalising Constraint Solving over Finite Domains. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Buccafurri, Gianluca Caminiti, Rosario Laurendi |
A Logic Language with Stable Model Semantics for Social Reasoning. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly, Sarah Alice Gaggl, Stefan Woltran |
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Romain Beauxis |
Probabilistic and Concurrent Models for Security. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Fink 0001 |
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
uniform equivalence, knowledge representation, program optimization, answer-set programming |
1 | Germán Vidal |
Trace Analysis for Predicting the Effectiveness of Partial Evaluation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | François Degrave |
Development of an Automatic Testing Environment for Mercury. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radoslaw Szymanek, Christophe Lecoutre |
Constraint-Level Advice for Shaving. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Martin Sulzmann |
Transactions in Constraint Handling Rules. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jon Sneyers |
Turing-Complete Subclasses of CHR. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guohua Liu, Jia-Huai You |
Lparse Programs Revisited: Semantics and Representation of Aggregates. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | José Carlos Almeida Santos |
TopLog: ILP Using a Logic Program Declarative Bias. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha 0001, Bart Demoen, Luc De Raedt |
On the Efficient Execution of ProbLog Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hakim Belhaouari, Frédéric Peschanski |
A Constraint Logic Programming Approach to Automated Testing. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Gosti |
Resolving CSP with Naming Games. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Van Weert |
Optimization of CHR Propagation Rules. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carla Piazza, Alberto Policriti |
Systems Biology: Models and Logics. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Victor W. Marek, Jeffrey B. Remmel |
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Santini 0001 |
Managing Quality of Service with Soft Constraints. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Raffaele Cipriano |
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Pérez 0001, Camilo Rueda |
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond, Jorge Lobo 0001 |
Authorization and Obligation Policies in Dynamic Systems. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Pearce 0001, Agustín Valverde |
Quantified Equilibrium Logic and Foundations for Answer Set Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marc Denecker, Joost Vennekens |
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frank Raiser |
Graph Transformation Systems in CHR. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
Computing Fuzzy Answer Sets Using dlvhex. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matti Järvisalo, Emilia Oikarinen |
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Torsten Schaub |
Generic Tableaux for Answer Set Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
Universal Timed Concurrent Constraint Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chitta Baral, Juraj Dzifcak, Luis Tari |
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Pietrzak, Manuel V. Hermenegildo |
Automatic Binding-Related Error Diagnosis in Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Linh Anh Nguyen |
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Navas, Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo |
User-Definable Resource Bounds Analysis for Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya |
Coinductive Logic Programming and Its Applications. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Automatic Correctness Proofs for Logic Program Transformations. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|