| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Pilozzi, Danny De Schreye |
Automating Termination Proofs for CHR.  |
ICLP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Tabling Implementation Based on Variables with Multiple Bindings. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Performance, Logic Programming, Implementation, Tabling, OR-Parallelism |
| 1 | Daniela Inclezan |
Modular Action Language ALM{\cal ALM}. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan |
Belief Logic Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang |
Logic Programming with Defaults and Argumentation Theories. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Defeasible reasoning, well-founded models, argumentation theory |
| 1 | Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia |
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli |
Logic Programs under Three-Valued Lukasiewicz Semantics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Three Valued Logic Programs, ?ukasiewicz Semantics |
| 1 | Jorge Costa, João Raimundo, Ricardo Rocha |
A Term-Based Global Trie for Tabled Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Table Space, Implementation, Tabling Logic Programming |
| 1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
Logic Programming for Multiagent Planning with Negotiation. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc De Raedt |
Probabilistic Logic Learning - A Tutorial Abstract. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning |
| 1 | Yana Todorova |
Answering Questions from Natural Language Using A-Prolog. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pilozzi |
Research Summary: Termination of CHR. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
Demand-Driven Normalisation for ACD Term Rewriting. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian |
Using Histograms to Better Answer Queries to Probabilistic Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Imprecise Probabilities, Probabilistic Logic Programming |
| 1 | Leslie De Koninck |
Execution Control for CHR. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Vaz, Vítor Santos Costa, Michel Ferreira |
User Defined Indexing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
Merging Logic Programs under Answer Set Semantics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
strong equivalence, answer set programming, belief merging |
| 1 | Christian Theil Have |
Logic-Statistic Models with Constraints for Biological Sequence Analysis. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers |
Optimizing Compilation and Computational Complexity of Constraint Handling Rules. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Answer Set Programming for Single-Player Games in General Game Playing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
Stabilization of Information Sharing for Queries Answering in Multiagent Systems. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Abductive Logic Programs, Stabilization, Information Sharing, Cooperative Multiagent Systems |
| 1 | Beata Sarna-Starosta, Tom Schrijvers |
Attributed Data for CHR Indexing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
term representation, attributed variables, indexing, program transformation, Constraint Handling Rules |
| 1 | Alessio Paolucci |
Research Summary: Intelligent Natural Language Processing Techniques and Tools. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dean Voets, Danny De Schreye |
A New Approach to Non-termination Analysis of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
non-termination analysis, program analysis |
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Answer Set Programming with Constraints Using Lazy Grounding. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Moura |
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Fodor |
Research Summary: Tabled Evaluation for Transaction Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Qualified Computations in Functional Logic Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification |
| 1 | Michael DeRosa |
Locally Distributed Predicates: A Programming Facility for Distributed State Detection. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gayathri Namasivayam |
Study of Random Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Marco Alberti, Evelina Lamma |
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael P. Ashley-Rollman |
Research Summary: Logic Programming for Massively Distributed Systems. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerardo I. Simari |
Stochastic Reasoning with Models of Agent Behavior. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Schaub, Sven Thiele |
Metabolic Network Expansion with Answer Set Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, David Scott Warren (eds.) |
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chendong Li |
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pilozzi, Danny De Schreye |
Proving Termination by Invariance Relations. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianmin Ji |
Research Summary. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Modular Nonmonotonic Logic Programming Revisited. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Modular Logic Programming, Knowledge Representation, Answer Set Programming |
| 1 | Chris Mungall |
Experiences Using Logic Programming in Bioinformatics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker |
A Knowledge Base System Project for FO(.). |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wielemaker |
Enabling Serendipitous Search on the Web of Data Using Prolog. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bottalico, Stefano Bistarelli |
Constraint Based Languages for Biological Reactions. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King |
Untangling Reverse Engineering with Logic and Abstraction. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hildebrandt, Hugo A. López |
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming |
| 1 | Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira |
Incremental Answer Completion in the SLG-WAM. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift |
An Engine for Computing Well-Founded Models. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Tabling, WAM |
| 1 | Johan Wittocx, Hanne Vlaeminck, Marc Denecker |
Debugging for Model Expansion. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
logic here-and-there, answer-set programming, Stable models |
| 1 | Neng-Fa Zhou |
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael P. Ashley-Rollman, Peter Lee 0001, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell |
A Language for Large Ensembles of Independently Executing Nodes. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Campli, Stefano Bistarelli |
Capturing Fair Computations on Concurrent Constraint Language. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, John P. Gallagher |
Non-discriminating Arguments and Their Uses. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Ole Torp Lassen |
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dean Voets |
Research Summary: Non-termination Analysis of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Vladimir Lifschitz |
One More Decidable Class of Finitely Ground Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Max Ostrowski, Torsten Schaub |
Constraint Answer Set Solving. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
Finding Similar or Diverse Solutions in Answer Set Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
similar/diverse solutions, answer set programming, phylogenies |
| 1 | Taisuke Sato |
Generative Modeling by PRISM. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
(C)LP Tracing and Debugging. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edison Mera, Pedro López-García, Manuel V. Hermenegildo |
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
static/dynamic debugging, program verification, unit testing, assertions, run-time verification |
| 1 | Frank Raiser |
Research Summary. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mantas Simkus |
Fusion of Logic Programming and Description Logics. |
ICLP |
2009 |
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 | Jorge Costa, Ricardo Rocha |
Global Storing Mechanisms for Tabled Evaluation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | Wim Vanhoof, François Degrave |
An Algorithm for Sophisticated Code Matching in Logic Programs. |
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 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia |
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Trace Analysis for Predicting the Effectiveness of Partial Evaluation. |
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 | Pedro Cabalar |
Partial Functions and Equality in Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Wolfgang Faber |
The DLV Project: A Tour from Theory and Research to Applications and Market. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Pérez, Camilo Rueda |
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. |
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 | 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 | Aliaksei Tsitovich |
Detection of Security Vulnerabilities Using Guided Model Checking. |
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 | Raffaele Cipriano |
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Weert |
Optimization of CHR Propagation Rules. |
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 | Ilkka Niemelä |
Answer Set Programming without Unstratified Negation. |
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 | Vladimir Lifschitz |
Twelve Definitions of a Stable Model. |
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 | Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen |
Towards Typed Prolog. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter |
SMS and ASP: Hype or TST?. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Iborra |
Termination of Narrowing Using Dependency Pairs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce |
Sixty Years of Stable Models. |
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 | Victor W. Marek |
Quo Vadis Answer Set Programming? |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad |
TopLog: ILP Using a Logic Program Declarative Bias. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Verification from Declarative Specifications Using Logic Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaele Cipriano, Agostino Dovier, Jacopo Mauro |
Compiling and Executing Declarative Modeling Languages to Gecode. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastien Siva, James J. Lu, Hantao Zhang |
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Caroprese, Miroslaw Truszczynski |
Declarative Semantics for Active Integrity Constraints. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")