VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program