Search results for "ICLP"

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

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