Search results for "ICLP"

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

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