The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICLP"( http://dblp.L3S.de/Venues/ICLP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/iclp

Publication years (Num. hits)
1982 (37) 1984 (32) 1986 (61) 1987 (51) 1989 (42) 1990 (57) 1991 (77) 1993 (66) 1994 (61) 1995 (69) 1997 (42) 1999 (57) 2001 (32) 2002 (45) 2003 (51) 2004 (47) 2005 (52) 2006 (55) 2007 (49) 2008 (91) 2009 (65)
Publication types (Num. hits)
inproceedings(1118) proceedings(21)
Venues (Conferences, Journals, ...)
ICLP(1139)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 124 occurrences of 92 keywords

Results
Found 1139 publication records. Showing 1139 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Johan Wittocx, Hanne Vlaeminck, Marc Denecker Debugging for Model Expansion. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Halit Erdogan, Michael Fink 0001 Finding Similar or Diverse Solutions in Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF similar/diverse solutions, answer set programming, phylogenies
1Michael Thielscher Answer Set Programming for Single-Player Games in General Game Playing. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Answer Set Programming with Constraints Using Lazy Grounding. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mireille Ducassé (C)LP Tracing and Debugging. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jon Sneyers Optimizing Compilation and Computational Complexity of Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniela Inclezan Modular Action Language ALM{\cal ALM}. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli, Chiaki Sakama Logic Programming for Multiagent Planning with Negotiation. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gerardo I. Simari Stochastic Reasoning with Models of Agent Behavior. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Phan Minh Dung, Do Duc Hanh, Phan Minh Thang Stabilization of Information Sharing for Queries Answering in Multiagent Systems. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Abductive Logic Programs, Stabilization, Information Sharing, Cooperative Multiagent Systems
1Andy King Untangling Reverse Engineering with Logic and Abstraction. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chendong Li Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Denecker A Knowledge Base System Project for FO(.). Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang Logic Programming with Defaults and Argumentation Theories. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Defeasible reasoning, well-founded models, argumentation theory
1Henning Christiansen 0001, John P. Gallagher Non-discriminating Arguments and Their Uses. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Leslie De Koninck Execution Control for CHR. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli Logic Programs under Three-Valued Lukasiewicz Semantics. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Three Valued Logic Programs, ?ukasiewicz Semantics
1Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey Demand-Driven Normalisation for ACD Term Rewriting. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael P. Ashley-Rollman Research Summary: Logic Programming for Massively Distributed Systems. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gayathri Namasivayam Study of Random Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Christiansen 0001, Ole Torp Lassen Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jan Wielemaker Enabling Serendipitous Search on the Web of Data Using Prolog. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF logic here-and-there, answer-set programming, Stable models
1Frank Raiser Research Summary. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Torsten Schaub, Sven Thiele Metabolic Network Expansion with Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Beata Sarna-Starosta, Tom Schrijvers Attributed Data for CHR Indexing. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF term representation, attributed variables, indexing, program transformation, Constraint Handling Rules
1Mantas Simkus Fusion of Logic Programming and Description Logics. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paola Campli, Stefano Bistarelli Capturing Fair Computations on Concurrent Constraint Language. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patricia M. Hill, David Scott Warren (eds.) Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Taisuke Sato Generative Modeling by PRISM. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Pilozzi Research Summary: Termination of CHR. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran Merging Logic Programs under Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strong equivalence, answer set programming, belief merging
1Jianmin Ji Research Summary. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static/dynamic debugging, program verification, unit testing, assertions, run-time verification
1Marco Bottalico, Stefano Bistarelli Constraint Based Languages for Biological Reactions. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Vaz, Vítor Santos Costa, Michel Ferreira User Defined Indexing. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Terrance Swift An Engine for Computing Well-Founded Models. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tabling, WAM
1Jorge Costa, João Raimundo, Ricardo Rocha 0001 A Term-Based Global Trie for Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Table Space, Implementation, Tabling Logic Programming
1Jesú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. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xiaoping Chen, Jianmin Ji, Fangzhen Lin Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Modular Nonmonotonic Logic Programming Revisited. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Modular Logic Programming, Knowledge Representation, Answer Set Programming
1Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian Using Histograms to Better Answer Queries to Probabilistic Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Imprecise Probabilities, Probabilistic Logic Programming
1Paolo Pilozzi, Danny De Schreye Automating Termination Proofs for CHR. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dean Voets, Danny De Schreye A New Approach to Non-termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-termination analysis, program analysis
1Paulo Moura From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Tabling Implementation Based on Variables with Multiple Bindings. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Performance, Logic Programming, Implementation, Tabling, OR-Parallelism
1Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira Incremental Answer Completion in the SLG-WAM. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael DeRosa Locally Distributed Predicates: A Programming Facility for Distributed State Detection. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian Theil Have Logic-Statistic Models with Constraints for Biological Sequence Analysis. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rafael Caballero 0001, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz Qualified Computations in Functional Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification
1Dean Voets Research Summary: Non-termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Marco Alberti 0001, Evelina Lamma Integration of Abductive Reasoning and Constraint Optimization in SCIFF. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas T. Hildebrandt, Hugo A. López Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming
1Michael P. Ashley-Rollman, Peter Lee 0001, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell A Language for Large Ensembles of Independently Executing Nodes. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hui Wan Belief Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Vladimir Lifschitz One More Decidable Class of Finitely Ground Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Max Ostrowski, Torsten Schaub Constraint Answer Set Solving. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessio Paolucci Research Summary: Intelligent Natural Language Processing Techniques and Tools. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luc De Raedt Probabilistic Logic Learning - A Tutorial Abstract. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning
1Yana Todorova Answering Questions from Natural Language Using A-Prolog. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Pilozzi, Danny De Schreye Proving Termination by Invariance Relations. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paul Fodor Research Summary: Tabled Evaluation for Transaction Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chris Mungall Experiences Using Logic Programming in Bioinformatics. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paul Tarau Logic Engines as Interactors. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming
1David Pearce 0001 Sixty Years of Stable Models. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Angelo Montanari Back to Interval Temporal Logics. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Phuong-Lan Nguyen Environment Reuse in the WAM. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sebastien Siva, James J. Lu, Hantao Zhang A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF High-level Implementation, Prolog, And-Parallelism
1Tom Schrijvers, Bart Demoen Uniting the Prolog Community. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
1Paolo Pilozzi, Danny De Schreye Termination Analysis of CHR Revisited. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Termination Analysis, Constraint Handling Rules
1Stephen Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad TopLog: ILP Using a Logic Program Declarative Bias. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandra Mileo, Davide Merico, Roberto Bisiani A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Torsten Schaub Here's the Beef: Answer Set Programming ! Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Montali, Paolo Torroni, Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Verification from Declarative Specifications Using Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä Answer Set Programming without Unstratified Negation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey Cadmium: An Implementation of ACD Term Rewriting. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Wolfgang Faber 0001 The DLV Project: A Tour from Theory and Research to Applications and Market. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele Engineering an Incremental ASP Solver. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wim Vanhoof, François Degrave An Algorithm for Sophisticated Code Matching in Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alexis Saurin Towards Ludics Programming: Interactive Proof Search. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Ludics, Proof Normalization, Interaction, Logic Programming, Game Semantics, Proof Search
1Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti Efficient Algorithms for Functional Constraints. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luciano Caroprese, Miroslaw Truszczynski Declarative Semantics for Active Integrity Constraints. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Eiter SMS and ASP: Hype or TST?. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Topics Probabilistic Logic Programming, Logic Programs with Annotated Disjunctions, Well Founded Semantics, SLG resolution
1Raffaele Cipriano, Agostino Dovier, Jacopo Mauro Compiling and Executing Declarative Modeling Languages to Gecode. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Hans Tompits Program Correspondence under the Answer-Set Semantics: The Non-ground Case. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Peter J. Stuckey Dynamic Analysis of Bounds Versus Domain Propagation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jorge Costa, Ricardo Rocha 0001 Global Storing Mechanisms for Tabled Evaluation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz, Ravi Palla Safe Formulas in the General Theory of Stable Models (Preliminary Report). Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler Abstract Answer Set Solvers. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Partial Functions and Equality in Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chitta Baral Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Termination of Narrowing Using Dependency Pairs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon A Soft Approach to Multi-objective Optimization. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1139 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license