FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ICLP PROCEEDINGS OF ICLP 2018: KEYWORD INDEX
PapersPapers with AbstractsAuthor IndexKeyword Index
Shortcuts: (ABCDEFGHILMNOPQRSTVW
(
(Constraint) Logic Programming
Towards Incremental and Modular Context-sensitive Analysis (PDF, talk)
A
Abstract Interpretation
Towards Incremental and Modular Context-sensitive Analysis (PDF, talk)
An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
Abstraction Refinement
An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
action language
A Probabilistic Extension of Action Language BC+ (PDF, talk)
Aggregates
Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
aggregations in logic programming
Shared aggregate sets in answer set programming (PDF, talk)
Animation
CHRvis: Syntax and Semantics (PDF, talk)
answer set computation
MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
Answer Set Programming
Epistemic Logic Programs with World View Constraints (PDF, talk)
Specifying and Verbalising Answer Set Programs in Controlled Natural Language (PDF, talk)
Temporal Answer Set Programming on Finite Traces (PDF, talk)
Experimenting with robotic intra-logistics domains (PDF, talk)
Learning Commonsense Knowledge through Interactive Dialogue (PDF, talk)
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (PDF, talk)
Introspecting Preferences In Answer Set Programming (PDF, talk)
Shared aggregate sets in answer set programming (PDF, talk)
Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (PDF, talk)
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (PDF, talk)
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (PDF, talk)
MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (PDF, talk)
First-order answer set programming as constructive proof search (PDF, talk)
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
SMT-based Answer Set Solver CMODELS(DIFF) (System Description) (PDF, talk)
Apache Spark
MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
Application
Application of Logic-Based Methods to Machine Component Design (PDF, talk)
Approximate inference
Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
Approximation Fixpoint Theory
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (PDF, talk)
ASP
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs (PDF, talk)
Assertions
Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
Attempto Controlled English
Natural Language Generation From Ontologies: Application Paper (PDF, talk)
automated guided vehicle routing
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (PDF, talk)
B
backwards analysis
An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Benchmarking
Experimenting with robotic intra-logistics domains (PDF, talk)
Bi-directional Grammars
Specifying and Verbalising Answer Set Programs in Controlled Natural Language (PDF, talk)
Bioinformatics
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk)
bottom-up
Top-down and Bottom-up Evaluation Reconciled (PDF, talk)
C
car assembly operations
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (PDF, talk)
Cautious Reasoning
Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (PDF, talk)
code generation
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (PDF, talk)
Commonsense Reasoning
Learning Commonsense Knowledge through Interactive Dialogue (PDF, talk)
Constrained Horn Clauses
Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
Constraint Handling Rules
A New Proof-theoretical Linear Semantics for CHR (PDF, talk)
Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
CHRvis: Syntax and Semantics (PDF, talk)
Constraint satisfaction processing
SMT-based Answer Set Solver CMODELS(DIFF) (System Description) (PDF, talk)
Constraint Solving
Application of Logic-Based Methods to Machine Component Design (PDF, talk)
constraints
Epistemic Logic Programs with World View Constraints (PDF, talk)
Constraint Answer Set Programming without Grounding (PDF, talk)
Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
Controlled Natural Language
Natural Language Generation From Ontologies: Application Paper (PDF, talk)
Controlled Natural Languages
Specifying and Verbalising Answer Set Programs in Controlled Natural Language (PDF, talk)
CR-Prolog2
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs (PDF, talk)
D
Data-structures
Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
Datalog
Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
Decision Modelling
Application of Logic-Based Methods to Machine Component Design (PDF, talk)
Declarative Algorithms
Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
dependent types
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (PDF, talk)
distributed systems
MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
DMN
Application of Logic-Based Methods to Machine Component Design (PDF, talk)
Dynamic applications
Experimenting with robotic intra-logistics domains (PDF, talk)
E
efficient computation
Shared aggregate sets in answer set programming (PDF, talk)
Epistemic Logic Programs
Epistemic Logic Programs with World View Constraints (PDF, talk)
epistemic specification
Introspecting Preferences In Answer Set Programming (PDF, talk)
Epistemic Specifications
Epistemic Logic Programs with World View Constraints (PDF, talk)
Equilibrium Logic
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
Evaluable Functions
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
Event Calculus
Learning Commonsense Knowledge through Interactive Dialogue (PDF, talk)
Executable Specifications
Specifying and Verbalising Answer Set Programs in Controlled Natural Language (PDF, talk)
experiments
Improving Candidate Quality of Probabilistic Logic Models (PDF, talk)
Expert Systems
Application of Logic-Based Methods to Machine Component Design (PDF, talk)
Exposed Datapath Architectures
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (PDF, talk)
F
Finite Semantics
Certified Graph View Maintenance with Regular Datalog (PDF, talk)
Fixpoint Algorithms
Towards Incremental and Modular Context-sensitive Analysis (PDF, talk)
FOIL algorithm
Cumulative Scoring-based Induction of Default Theories (PDF, talk)
G
goal-directed evaluation
Constraint Answer Set Programming without Grounding (PDF, talk)
Grammatical Framework
Natural Language Generation From Ontologies: Application Paper (PDF, talk)
Graph Queries
Certified Graph View Maintenance with Regular Datalog (PDF, talk)
Graph Views
Certified Graph View Maintenance with Regular Datalog (PDF, talk)
graph-based characterization
MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
H
Handwritten Digit Recognition
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (PDF, talk)
higher-order logic programming
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (PDF, talk)
Horn Clause Transformation
Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
Horn clauses
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (PDF, talk)
I
Incremental Analysis
Towards Incremental and Modular Context-sensitive Analysis (PDF, talk)
Incremental Maintenance
Certified Graph View Maintenance with Regular Datalog (PDF, talk)
Inductive Logic Programming
Cumulative Scoring-based Induction of Default Theories (PDF, talk)
Learning Commonsense Knowledge through Interactive Dialogue (PDF, talk)
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (PDF, talk)
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (PDF, talk)
Inductive Theorem Proving
Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
Intensional Sets
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
intentions
An ASP Methodology for Understanding Narratives about Stereotypical Activities (PDF, talk)
Intuitionistic logic
First-order answer set programming as constructive proof search (PDF, talk)
L
lambda calculus
First-order answer set programming as constructive proof search (PDF, talk)
Likelihood weighting
Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
linear logic
A New Proof-theoretical Linear Semantics for CHR (PDF, talk)
Linear Temporal Logic
Temporal Answer Set Programming on Finite Traces (PDF, talk)
Logic of Here and There
Temporal Answer Set Programming on Finite Traces (PDF, talk)
logic programming
Top-down and Bottom-up Evaluation Reconciled (PDF, talk)
Epistemic Logic Programs with World View Constraints (PDF, talk)
LPMLN
A Probabilistic Extension of Action Language BC+ (PDF, talk)
LPOD
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs (PDF, talk)
M
Machine Learning
Cumulative Scoring-based Induction of Default Theories (PDF, talk)
MapReduce
MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
Memory Errors
Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
Meta-Interpretive Learning
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (PDF, talk)
Model quality
Improving Candidate Quality of Probabilistic Logic Models (PDF, talk)
Modular Analysis
Towards Incremental and Modular Context-sensitive Analysis (PDF, talk)
N
natural language understanding
An ASP Methodology for Understanding Narratives about Stereotypical Activities (PDF, talk)
Negation as failure
Cumulative Scoring-based Induction of Default Theories (PDF, talk)
Negation in Logic Programming
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (PDF, talk)
NonMonotonic Semantics
Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (PDF, talk)
O
Ontology Reasoning
Natural Language Generation From Ontologies: Application Paper (PDF, talk)
Optimal Scheduling
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (PDF, talk)
P
parallelism
MASP-Reduce: a proposal for distributed computation of stable models (PDF, talk)
Partial Functions
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (PDF, talk)
Phylostatic
Natural Language Generation From Ontologies: Application Paper (PDF, talk)
Planning
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk)
precondition inference
An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
predicate
Constraint Answer Set Programming without Grounding (PDF, talk)
preference
Introspecting Preferences In Answer Set Programming (PDF, talk)
Probabilistic graphical models
Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
Probabilistic Inductive Logic Programming
Improving Candidate Quality of Probabilistic Logic Models (PDF, talk)
Probabilistic logic programming
Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
probabilistic reasoning
A Probabilistic Extension of Action Language BC+ (PDF, talk)
procedural interpretation
Top-down and Bottom-up Evaluation Reconciled (PDF, talk)
Program Analysis
Towards Incremental and Modular Context-sensitive Analysis (PDF, talk)
Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
program specialisation
An iterative approach to precondition inference using constrained Horn clauses (PDF, talk)
Program Verification
Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
Prolog
Top-down and Bottom-up Evaluation Reconciled (PDF, talk)
Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
Proof theory
First-order answer set programming as constructive proof search (PDF, talk)
Proof-relevant logic
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (PDF, talk)
proof-theoretical linear semantics
A New Proof-theoretical Linear Semantics for CHR (PDF, talk)
Q
Qualitative Reasoning
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Query Answering
Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (PDF, talk)
Question Answering
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (PDF, talk)
R
Re-composition
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk)
Regular Datalog
Certified Graph View Maintenance with Regular Datalog (PDF, talk)
Resource Usage Analysis
Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
Rule-Based Systems
Application of Logic-Based Methods to Machine Component Design (PDF, talk)
Run-time Checks
Towards Static Performance Guarantees for Programs with Run-time Checks (PDF, talk)
S
Satisfiability Modulo Constraint Handling Rules
Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
Satisfiability Modulo Theories
Shape Neutral Analysis of Graph-based Data-structures (PDF, talk)
SMT-based Answer Set Solver CMODELS(DIFF) (System Description) (PDF, talk)
Search space pruning
Improving Candidate Quality of Probabilistic Logic Models (PDF, talk)
semantic parsing
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (PDF, talk)
Sentence Planning
Specifying and Verbalising Answer Set Programs in Controlled Natural Language (PDF, talk)
SMT solvers
Solving Horn Clauses on Inductive Data Types Without Induction (PDF, talk)
Spatial Reasoning
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
stable model
Constraint Answer Set Programming without Grounding (PDF, talk)
stable model semantics
First-order answer set programming as constructive proof search (PDF, talk)
Statistical relational learning
Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
stereotypical activities
An ASP Methodology for Understanding Narratives about Stereotypical Activities (PDF, talk)
Symbolic evaluation
Constraint-Based Inference in Probabilistic Logic Programs (PDF, talk)
T
tabling
Top-down and Bottom-up Evaluation Reconciled (PDF, talk)
Temporal Answer Set Programming
Temporal Answer Set Programming on Finite Traces (PDF, talk)
theorem proving
Certified Graph View Maintenance with Regular Datalog (PDF, talk)
top-down
Top-down and Bottom-up Evaluation Reconciled (PDF, talk)
Trajectory
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (PDF, talk)
Type Inference
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (PDF, talk)
V
Visualization
Experimenting with robotic intra-logistics domains (PDF, talk)
CHRvis: Syntax and Semantics (PDF, talk)
W
Web services
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk)
Web services composition
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk)
Workflows
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (PDF, talk)
World View Constraints
Epistemic Logic Programs with World View Constraints (PDF, talk)
World View Rules
Epistemic Logic Programs with World View Constraints (PDF, talk)
WV Facts
Epistemic Logic Programs with World View Constraints (PDF, talk)