ICLP 2014 VSL PROCEEDINGS: AUTHOR INDEX

ICLP Volumes Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E F G H J K L M N O P R S T V W Y Z

A
Abrantes, Mário	Properties of Stable Model Semantics Extensions (PDF, talk)
Alferes, Jose Julio	Transaction Logic with (Complex) Events (PDF, talk)
Alviano, Mario	Anytime Computation of Cautious Consequences in Answer Set Programming (PDF, talk)
Amadini, Roberto	SUNNY: a Lazy Portfolio Approach for Constraint Solving (PDF, talk)
Antic, Christian	On Cascade Products of Answer Set Programs (PDF, talk)
Antoniou, Grigoris	Efficient Computation of the Well-Founded Semantics over Big Data (PDF, talk)
Areias, Miguel	A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling (PDF, talk)
Aziz, Rehan Abdul	Grounding Bound Founded Answer Set Programs (PDF, talk) Bound Founded Answer Set Programming (PDF)
B
Baaz, Matthias	Vienna Summer of Logic Preface (PDF)
Balaz, Martin	On Strong and Default Negation in Answer-Set Program Updates (PDF, talk)
Balduccini, Marcello	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (PDF, talk)
Bartak, Roman	Using Tabled Logic Programming to Solve the Petrobras Planning Problem (PDF, talk)
Bellodi, Elena	Lifted Probabilistic Logic Programming (PDF, talk)
Bi, Yi	A Well-Founded Semantics for FOL-Programs (PDF, talk)
Bogaerts, Bart	Simulating Dynamic Systems Using Linear Time Calculus Theories (PDF, talk) C-Log: A Knowledge Representation Language of Causality (PDF, talk)
Bragaglia, Stefano	Multi-criteria optimal planning for Energy policies in CLP (PDF, talk)
Brass, Stefan	A Framework for Bottom-Up Simulation of SLD-Resolution (PDF, talk)
C
Cabalar, Pedro	Causal Graph Justifications of Logic Programs (PDF, talk)
Cagnoli, Paolo	Multi-criteria optimal planning for Energy policies in CLP (PDF, talk)
Calimeri, Francesco	The Design of the Fifth Answer Set Programming Competition (PDF)
Caroprese, Luciano	A Measure of Arbitrariness in Abductive Explanations (PDF, talk)
Castro, Sergio	Customisable Handling of Java References in Prolog Programs (PDF, talk)
Charalambidis, Angelos	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (PDF, talk)
Chesani, Federico	Multi-criteria optimal planning for Energy policies in CLP (PDF, talk)
Chu, Geoffrey	Grounding Bound Founded Answer Set Programs (PDF, talk)
Comini, Marco	Abstract Diagnosis for tccp using a Linear Temporal Logic (PDF, talk)
Cruz, Flavio	A Linear Logic Programming Language for Concurrent Programming over Graph Structures (PDF, talk)
D
De Cat, Broes	Simulating Dynamic Systems Using Linear Time Calculus Theories (PDF, talk)
Denecker, Marc	Simulating Dynamic Systems Using Linear Time Calculus Theories (PDF, talk) C-Log: A Knowledge Representation Language of Causality (PDF, talk)
Dietz, Emmanuelle-Anna	Contextual Abductive Reasoning with Side-Effects (PDF, talk)
Dodaro, Carmine	Anytime Computation of Cautious Consequences in Answer Set Programming (PDF, talk)
Duck, Gregory J.	On Termination, Confluence and Consistent CHR-based Type Inference (PDF, talk)
E
Eiter, Thomas	Vienna Summer of Logic Preface (PDF)
Esik, Zoltan	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (PDF, talk)
F
Faber, Wolfgang	Efficient Computation of the Well-Founded Semantics over Big Data (PDF, talk)
Fandiño, Jorge	Causal Graph Justifications of Logic Programs (PDF, talk)
Faustino Da Silva, Anderson	Towards an Efficient Prolog System by Code Introspection (PDF, talk)
Feng, Zhiyong	A Well-Founded Semantics for FOL-Programs (PDF, talk)
Fink, Michael	Causal Graph Justifications of Logic Programs (PDF, talk)
Frühwirth, Thom	Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (PDF, talk) The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (PDF, talk)
G
Gabbrielli, Maurizio	SUNNY: a Lazy Portfolio Approach for Constraint Solving (PDF, talk)
Gall, Daniel	Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (PDF, talk)
Gallagher, John P.	Analysis and Transformation Tools for Constrained Horn Clause Verification (PDF, talk)
Gavanelli, Marco	Multi-criteria optimal planning for Energy policies in CLP (PDF, talk)
Gebser, Martin	The ICLP 2014 Doctoral Consortium (PDF) The Design of the Fifth Answer Set Programming Competition (PDF) Clingo = ASP + Control (PDF, talk)
Gelfond, Michael	Vicious Circle Principle and Logic Programs with Aggregates (PDF, talk)
Gervet, Carmen	The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (PDF, talk)
Goldstein, Seth	A Linear Logic Programming Language for Concurrent Programming over Graph Structures (PDF, talk)
Gomes, Ana Sofia	Transaction Logic with (Complex) Events (PDF, talk)
Gupta, Gopal	Dynamic Consistency Checking in Goal-Directed Answer Set Programming (PDF, talk)
H
Haemmerlé, Rémy	On Termination, Confluence and Consistent CHR-based Type Inference (PDF, talk)
Hamid, Fahmida	Interclausal Logic Variables (PDF, talk)
Heras, Jónathan	(Co)recursion in Logic Programming: Lazy vs Eager (PDF, talk)
Hermenegildo, Manuel V.	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (PDF, talk) Towards Assertion-based Debugging of Higher-Order (C)LP Programs (PDF, talk)
Hoos, Holger	claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (PDF, talk)
Hölldobler, Steffen	Contextual Abductive Reasoning with Side-Effects (PDF, talk)
J
Jackson, Ethan K.	A Module System for Domain-Specific Languages (PDF, talk)
Jansen, Joachim	Simulating Dynamic Systems Using Linear Time Calculus Theories (PDF, talk) Model Revision Inference for Extensions of First Order Logic (PDF)
Jaśkiewicz, Grzegorz	Logic Programming as Scripting Language for Bots in Computer Games - Research Overview (PDF)
K
Kafle, Bishoksan	Analysis and Transformation Tools for Constrained Horn Clause Verification (PDF, talk)
Kaminski, Roland	Clingo = ASP + Control (PDF, talk)
Kaufmann, Benjamin	Clingo = ASP + Control (PDF, talk)
Komendantskaya, Ekaterina	(Co)recursion in Logic Programming: Lazy vs Eager (PDF, talk)
Kriener, Jael	The ICLP 2014 Doctoral Consortium (PDF)
L
Lager, Torbjörn	Pengines: Web Logic Programming Made Easy (PDF, talk)
Lamma, Evelina	Lifted Probabilistic Logic Programming (PDF, talk)
Le, Tiep	Logic and Constraint Logic Programming for Distributed Constraint Optimization (PDF, talk)
Leite, Joao	On Strong and Default Negation in Answer-Set Program Updates (PDF, talk)
Leuschel, Michael	Introduction to the 30th International Conference on Logic Programming Special Issue (PDF)
Lindauer, Marius	claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (PDF, talk)
Lopez-Garcia, Pedro	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (PDF, talk)
M
Mantadelis, Theofrastos	Tabling, Rational Terms, and Coinduction Finally Together! (PDF, talk)
Maratea, Marco	The Design of the Fifth Answer Set Programming Competition (PDF)
Marengo, Elisa	Multi-criteria optimal planning for Energy policies in CLP (PDF, talk)
Marple, Kyle	Dynamic Consistency Checking in Goal-Directed Answer Set Programming (PDF, talk)
Maurice, Bruynooghe	Simulating Dynamic Systems Using Linear Time Calculus Theories (PDF, talk)
Mauro, Jacopo	SUNNY: a Lazy Portfolio Approach for Constraint Solving (PDF, talk)
Mens, Kim	Customisable Handling of Java References in Prolog Programs (PDF, talk)
Milano, Michela	Multi-criteria optimal planning for Energy policies in CLP (PDF, talk)
Morak, Michael	The Impact of Disjunction on Reasoning under Existential Rules: Research Summary (PDF)
Morales, Jose F.	Towards Assertion-based Debugging of Higher-Order (C)LP Programs (PDF, talk)
Moura, Paulo	Customisable Handling of Java References in Prolog Programs (PDF, talk) Tabling, Rational Terms, and Coinduction Finally Together! (PDF, talk)
N
Nampally, Arun	Adaptive MCMC-Based Inference in Probabilistic Logic Programs (PDF, talk)
Narboni, G.	Numerical Properties of Min-closed CSPs (PDF, talk)
Nguyen, Duc	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (PDF, talk)
Nigam, Vivek	A Proof Theoretic Study of Soft Concurrent Constraint Programming (PDF, talk)
O
Olarte, Carlos	A Proof Theoretic Study of Soft Concurrent Constraint Programming (PDF, talk)
P
Pereira, Luís Moniz	Properties of Stable Model Semantics Extensions (PDF, talk) Contextual Abductive Reasoning with Side-Effects (PDF, talk) Joint Tabling of Logic Program Abductions and Updates (PDF, talk)
Pfenning, Frank	A Linear Logic Programming Language for Concurrent Programming over Graph Structures (PDF, talk)
Pimentel, Elaine	A Proof Theoretic Study of Soft Concurrent Constraint Programming (PDF, talk)
Pontelli, Enrico	Logic and Constraint Logic Programming for Distributed Constraint Optimization (PDF, talk)
R
Ramakrishnan, C. R.	Adaptive MCMC-Based Inference in Probabilistic Logic Programs (PDF, talk)
Regli, William	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (PDF, talk)
Ricca, Francesco	The Design of the Fifth Answer Set Programming Competition (PDF) Anytime Computation of Cautious Consequences in Answer Set Programming (PDF, talk)
Riguzzi, Fabrizio	Lifted Probabilistic Logic Programming (PDF, talk)
Rocha, Ricardo	A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling (PDF, talk) A Linear Logic Programming Language for Concurrent Programming over Graph Structures (PDF, talk) Tabling, Rational Terms, and Coinduction Finally Together! (PDF, talk)
Rondogiannis, Panos	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (PDF, talk)
Rybalchenko, Andrey	(Quantified) Horn Constraint Solving for Program Verification and Synthesis (PDF, talk)
S
Saad, Aya	The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (PDF, talk) CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF)
Santos Costa, Vítor	Lifted Probabilistic Logic Programming (PDF, talk)
Saptawijaya, Ari	Joint Tabling of Logic Program Abductions and Updates (PDF, talk)
Schaub, Torsten	Clingo = ASP + Control (PDF, talk) claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (PDF, talk)
Schmidt, Martin	(Co)recursion in Logic Programming: Lazy vs Eager (PDF, talk)
Schrijvers, Tom	Introduction to the 30th International Conference on Logic Programming Special Issue (PDF)
Serrano, Alejandro	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (PDF, talk)
Sharaf, Nada	Visualization of Constraint Handling Rules (PDF)
Slota, Martin	On Strong and Default Negation in Answer-Set Program Updates (PDF, talk)
Son, Tran Cao	Logic and Constraint Logic Programming for Distributed Constraint Optimization (PDF, talk)
Souza Oliveira, George	Towards an Efficient Prolog System by Code Introspection (PDF, talk)
Stephan, Heike	Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs (PDF)
Stuckey, Peter J.	Grounding Bound Founded Answer Set Programs (PDF, talk)
Stulova, Nataliia	Towards Assertion-based Debugging of Higher-Order (C)LP Programs (PDF, talk)
Sulzmann, Martin	On Termination, Confluence and Consistent CHR-based Type Inference (PDF, talk)
Swift, Terrance	Incremental Tabling for Knowledge Representation and Reasoning (PDF, talk)
T
Tachmazidis, Ilias	Efficient Computation of the Well-Founded Semantics over Big Data (PDF, talk)
Tarau, Paul	Interclausal Logic Variables (PDF, talk)
Titolo, Laura	Abstract Diagnosis for tccp using a Linear Temporal Logic (PDF, talk)
Trubitsyna, Irina	A Measure of Arbitrariness in Abductive Explanations (PDF, talk)
Truszczynski, Mirek	A Measure of Arbitrariness in Abductive Explanations (PDF, talk)
V
Van den Bussche, Jan	C-Log: A Knowledge Representation Language of Causality (PDF, talk)
Veith, Helmut	Vienna Summer of Logic Preface (PDF)
Vennekens, Joost	Simulating Dynamic Systems Using Linear Time Calculus Theories (PDF, talk) C-Log: A Knowledge Representation Language of Causality (PDF, talk)
Villanueva, Alicia	Abstract Diagnosis for tccp using a Linear Temporal Logic (PDF, talk)
W
Wielemaker, Jan	Pengines: Web Logic Programming Made Easy (PDF, talk)
Y
Yeoh, William	Logic and Constraint Logic Programming for Distributed Constraint Optimization (PDF, talk)
You, Jia-Huai	A Well-Founded Semantics for FOL-Programs (PDF, talk)
Z
Zese, Riccardo	Lifted Probabilistic Logic Programming (PDF, talk) Reasoning with Probabilistic Logics (PDF)
Zhang, Yuanlin	Vicious Circle Principle and Logic Programs with Aggregates (PDF, talk)
Zhang, Zhizheng	ESmodels: An Epistemic Specification Solver (PDF, talk)
Zhou, Neng-Fa	Combinatorial Search With Picat (PDF) Using Tabled Logic Programming to Solve the Petrobras Planning Problem (PDF, talk)
Zumpano, Ester	A Measure of Arbitrariness in Abductive Explanations (PDF, talk)