ICLP Proceedings of ICLP 2018: Author Index

ICLP PROCEEDINGS OF ICLP 2018: AUTHOR INDEX

Papers Papers with Abstracts Author Index Keyword Index

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

A
Abdennadher, Slim	CHRvis: Syntax and Semantics (PDF, talk)
Aerts, Bram	Application of Logic-Based Methods to Machine Component Design (PDF, talk)
Alviano, Mario	Shared aggregate sets in answer set programming (PDF, talk) Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (PDF, talk) A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Antoniou, Grigoris	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Arias, Joaquin	Constraint Answer Set Programming without Grounding (PDF, talk)
B
Balduccini, Marcello	An ASP Methodology for Understanding Narratives about Stereotypical Activities (PDF, talk)
Baral, Chitta	Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (PDF, talk)
Baryannis, George	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Batsakis, Sotiris	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Bhagyanath, Anoop	Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (PDF, talk)
Bonifati, Angela	Certified Graph View Maintenance with Regular Datalog (PDF, talk)
C
Cabalar, Pedro	Temporal Answer Set Programming on Finite Traces (PDF, talk) Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
Carro, Manuel	Constraint Answer Set Programming without Grounding (PDF, talk)
Charalambidis, Angelos	Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (PDF, talk)
Condie, Tyson	Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
Côrte-Real, Joana	Improving Candidate Quality of Probabilistic Logic Models (PDF, talk)
D
Dahlem, Marc	Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (PDF, talk)
Das, Ariyam	Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
De Angelis, Emanuele	Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
Dodaro, Carmine	Shared aggregate sets in answer set programming (PDF, talk) Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (PDF, talk)
Dovier, Agostino	MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
Dries, Anton	Improving Candidate Quality of Probabilistic Logic Models (PDF, talk)
Duck, Gregory	Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
Dumbrava, Stefania	Certified Graph View Maintenance with Regular Datalog (PDF, talk)
Dutra, Inês	Improving Candidate Quality of Probabilistic Logic Models (PDF, talk)
E
Eiter, Thomas	Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (PDF, talk)
F
Fandinno, Jorge	Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
Farinas Del Cerro, Luis	Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
Farka, Frantisek	Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (PDF, talk)
Fioravanti, Fabio	Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
Fruehwirth, Thom	CHRvis: Syntax and Semantics (PDF, talk)
G
Gallagher, John	An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Gallego Arias, Emilio Jesús	Certified Graph View Maintenance with Regular Datalog (PDF, talk)
Gange, Graeme	An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Garcia-Contreras, Isabel	Towards Incremental and Modular Context-sensitive Analysis (PDF, talk)
Gebser, Martin	Experimenting with robotic intra-logistics domains (PDF, talk) Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (PDF, talk)
Gupta, Gopal	Cumulative Scoring-based Induction of Default Theories (PDF, talk) Constraint Answer Set Programming without Grounding (PDF, talk)
H
Hammond, Kevin	Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (PDF, talk)
Hermenegildo, Manuel V.	Towards Incremental and Modular Context-sensitive Analysis (PDF, talk) Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
I
Igne, Federico	MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
Inclezan, Daniela	An ASP Methodology for Understanding Narratives about Stereotypical Activities (PDF, talk)
Inoue, Katsumi	Learning Commonsense Knowledge through Interactive Dialogue (PDF, talk) Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (PDF, talk)
Interlandi, Matteo	Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
Israney, Ankush	An ASP Methodology for Understanding Narratives about Stereotypical Activities (PDF, talk)
J
Jaffar, Joxan	Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
Järvisalo, Matti	Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (PDF, talk)
K
Kafle, Bishoksan	An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Kahl, Patrick	Epistemic Logic Programs with World View Constraints (PDF, talk)
Kaminski, Roland	Temporal Answer Set Programming on Finite Traces (PDF, talk)
Kaminski, Tobias	Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (PDF, talk)
Klemen, Maximiliano	Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
Komendantskaya, Ekaterina	Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (PDF, talk)
L
Law, Mark	Learning Commonsense Knowledge through Interactive Dialogue (PDF, talk)
Leclerc, Anthony	Epistemic Logic Programs with World View Constraints (PDF, talk)
Lee, Joohyung	Translating LPOD and CR-Prolog2 into Standard Answer Set Programs (PDF, talk) A Probabilistic Extension of Action Language BC+ (PDF, talk)
Lierler, Yuliya	SMT-based Answer Set Solver CMODELS(DIFF) (System Description) (PDF, talk)
López-García, Pedro	Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
M
Maratea, Marco	Shared aggregate sets in answer set programming (PDF, talk) Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (PDF, talk)
Marple, Kyle	Constraint Answer Set Programming without Grounding (PDF, talk)
Mitra, Arindam	Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (PDF, talk)
Morales, Jose F.	Towards Incremental and Modular Context-sensitive Analysis (PDF, talk) Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
N
Nampally, Arun	Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
Nguyen, Thanh	Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk)
Nguyen, Van	Experimenting with robotic intra-logistics domains (PDF, talk) Natural Language Generation From Ontologies: Application Paper (PDF, talk)
O
Obermeier, Philipp	Experimenting with robotic intra-logistics domains (PDF, talk) Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (PDF, talk)
Otto, Thomas	Experimenting with robotic intra-logistics domains (PDF, talk)
P
Pearce, David	Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
Pettorossi, Alberto	Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
Pontelli, Enrico	Natural Language Generation From Ontologies: Application Paper (PDF, talk) Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk) MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
Previti, Alessandro	Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (PDF, talk)
Proietti, Maurizio	Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
R
Ramakrishnan, C. R.	Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
Ratsch-Heitmann, Michel	Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (PDF, talk)
Rocha, Ricardo	Improving Candidate Quality of Probabilistic Logic Models (PDF, talk)
Rondogiannis, Panos	Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (PDF, talk)
Runge, Mario	Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (PDF, talk)
Russo, Alessandra	Learning Commonsense Knowledge through Interactive Dialogue (PDF, talk)
S
Sabuncu, Orkunt	Experimenting with robotic intra-logistics domains (PDF, talk)
Salazar, Elmer	Constraint Answer Set Programming without Grounding (PDF, talk)
Schachte, Peter	An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Schaub, Torsten	Temporal Answer Set Programming on Finite Traces (PDF, talk) Experimenting with robotic intra-logistics domains (PDF, talk) Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (PDF, talk)
Schneider, Klaus	Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (PDF, talk)
Schubert, Aleksy	First-order answer set programming as constructive proof search (PDF, talk)
Schuhmann, Anna	Temporal Answer Set Programming on Finite Traces (PDF, talk)
Schwitter, Rolf	Specifying and Verbalising Answer Set Programs in Controlled Natural Language (PDF, talk)
Sellis, Timos	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Shakerin, Farhad	Cumulative Scoring-based Induction of Default Theories (PDF, talk)
Sharaf, Nada	CHRvis: Syntax and Semantics (PDF, talk)
Shen, Da	SMT-based Answer Set Solver CMODELS(DIFF) (System Description) (PDF, talk)
Shkapsky, Alex	Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
Son, Tran Cao	Experimenting with robotic intra-logistics domains (PDF, talk) Natural Language Generation From Ontologies: Application Paper (PDF, talk) Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk)
Sondergaard, Harald	An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Stuckey, Peter J.	An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Stulova, Nataliia	Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
Stéphan, Igor	A New Proof-theoretical Linear Semantics for CHR (PDF, talk)
Symeonidou, Ioanna	Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (PDF, talk)
T
Tachmazidis, Ilias	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Tsai, Pei-Wei	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
U
Urzyczyn, Pawel	First-order answer set programming as constructive proof search (PDF, talk)
V
Vennekens, Joost	Application of Logic-Based Methods to Machine Component Design (PDF, talk)
W
Wang, Yi	A Probabilistic Extension of Action Language BC+ (PDF, talk)
Warren, David Scott	Top-down and Bottom-up Evaluation Reconciled (PDF, talk)
Wu, Benjamin	Learning Commonsense Knowledge through Interactive Dialogue (PDF, talk)
Y
Yang, Mohan	Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
Yang, Zhun	Translating LPOD and CR-Prolog2 into Standard Answer Set Programs (PDF, talk)
Yap, Roland	Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
Z
Zaniolo, Carlo	Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
Zhang, Qinglin	An ASP Methodology for Understanding Narratives about Stereotypical Activities (PDF, talk)
Zhang, Timothy	Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
Zhang, Zhizheng	Introspecting Preferences In Answer Set Programming (PDF, talk)