FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program