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
1Daniela Inclezan Modular Action Language ALM{\cal ALM}. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
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
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
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
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
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
1Andy King Untangling Reverse Engineering with Logic and Abstraction. 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
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
1Mantas Simkus Fusion of Logic Programming and Description Logics. 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
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
1Dean Voets Research Summary: Non-termination Analysis of Logic Programs. 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
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
1Paola Campli, Stefano Bistarelli Capturing Fair Computations on Concurrent Constraint Language. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Frank Raiser 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
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
1Taisuke Sato Generative Modeling by PRISM. 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
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
1Alessio Paolucci Research Summary: Intelligent Natural Language Processing Techniques and Tools. 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
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
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
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
1Johan Wittocx, Hanne Vlaeminck, Marc Denecker Debugging for Model Expansion. 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
1Paul Fodor Research Summary: Tabled Evaluation for Transaction Logic Programs. 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
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
1Paolo Pilozzi, Danny De Schreye Automating Termination Proofs for CHR. 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
1Gerardo I. Simari Stochastic Reasoning with Models of Agent Behavior. 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
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
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
1Terrance Swift An Engine for Computing Well-Founded Models. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tabling, WAM
1Rafael Caballero, 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
1Marc Denecker A Knowledge Base System Project for FO(.). 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
1David Vaz, Vítor Santos Costa, Michel Ferreira User Defined Indexing. 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
1Chris Mungall Experiences Using Logic Programming in Bioinformatics. 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
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
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
1Martin Gebser, Max Ostrowski, Torsten Schaub Constraint Answer Set Solving. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bottalico, Stefano Bistarelli Constraint Based Languages for Biological Reactions. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yana Todorova Answering Questions from Natural Language Using A-Prolog. 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
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
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
1Jon Sneyers Optimizing Compilation and Computational Complexity of Constraint Handling Rules. 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
1Paolo Pilozzi Research Summary: Termination of CHR. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
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
1Jianmin Ji Research Summary. 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
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
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
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
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
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
1Miroslaw Truszczynski, Stefan Woltran Relativized Hyperequivalence of Logic Programs for Modular Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jörg Pührer, Hans Tompits, Stefan Woltran Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. 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
1Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio An Implementation of Extended P-Log Using XASP. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clark’s completion, fuzzy ASSAT, fuzzy logic, answer set programming
1Luciano Caroprese, Miroslaw Truszczynski Declarative Semantics for Active Integrity Constraints. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Giovanni Pirrotta Extracting and Reasoning about Web Data. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Phuong-Lan Nguyen Two WAM Implementations of Action Rules. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira Thread-Based Competitive Or-Parallelism. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Romain Beauxis Probabilistic and Concurrent Models for Security. 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
1Jon Sneyers Turing-Complete Subclasses of CHR. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Giorgio Gosti Resolving CSP with Naming Games. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers Constraint Handling Rules. 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 A. Pérez, Camilo Rueda Non-determinism and Probabilities in Timed Concurrent Constraint Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Germán Vidal Trace Analysis for Predicting the Effectiveness of Partial Evaluation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Valerio Senni, Alberto Pettorossi, Maurizio Proietti A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Aliaksei Tsitovich Detection of Security Vulnerabilities Using Guided Model Checking. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
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
1Tomi Janhunen Removing Redundancy from Answer Set Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rui Marques, Terrance Swift Concurrent and Local Evaluation of Normal Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Raffaele Cipriano On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti Composing Normal Programs with Function Symbols. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
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
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
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
1Markus Triska Generalising Constraint Solving over Finite Domains. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Computable Functions in ASP: Theory and Implementation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Van Weert Optimization of CHR Propagation Rules. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. 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
1Peter W. O'Hearn Separation Logic Tutorial. 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