FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

#
#SMT(LA)	VolCE: An Efficient Tool for Solving #SMT(LA) Problems (PDF, talk)
B
Belief Function Theory	Evidential Group Decision Making Model with Belief-Based Preferences (PDF, talk)
belief merging	Measuring Disagreement among Knowledge Bases (PDF, talk)
C
Choice Logic	A new logic for jointly representing hard and soft constraints (PDF, talk)
constraints	Evidential Group Decision Making Model with Belief-Based Preferences (PDF, talk)
Cyber Security	Leveraging Probabilistic Existential Rules for Adversarial Deduplication (PDF, talk)
D
declarative programming	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems (PDF, talk)
Deduplication	Leveraging Probabilistic Existential Rules for Adversarial Deduplication (PDF, talk)
description logics	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure (PDF, talk)
E
Entitity Resolution	Leveraging Probabilistic Existential Rules for Adversarial Deduplication (PDF, talk)
existential rules	Leveraging Probabilistic Existential Rules for Adversarial Deduplication (PDF, talk)
G
Group decision	Evidential Group Decision Making Model with Belief-Based Preferences (PDF, talk)
H
Hashing-based Algorithm	A New Probabilistic Algorithm for Approximate Model Counting (PDF, talk)
I
inconsistency measures	Measuring Disagreement among Knowledge Bases (PDF, talk)
inconsistency-tolerant reasoning	Measuring Disagreement among Knowledge Bases (PDF, talk)
M
Model Counting	A New Probabilistic Algorithm for Approximate Model Counting (PDF, talk) VolCE: An Efficient Tool for Solving #SMT(LA) Problems (PDF, talk)
Model Expansion	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems (PDF, talk)
Model Theory	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems (PDF, talk)
O
Ontology Languages	Leveraging Probabilistic Existential Rules for Adversarial Deduplication (PDF, talk)
P
preference	Evidential Group Decision Making Model with Belief-Based Preferences (PDF, talk)
Preference Logic	A new logic for jointly representing hard and soft constraints (PDF, talk)
Preference Modeling	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems (PDF, talk)
Preferential Logics	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure (PDF, talk)
Probabilistic Algorithm	A New Probabilistic Algorithm for Approximate Model Counting (PDF, talk)
propositional logic	A new logic for jointly representing hard and soft constraints (PDF, talk)
R
Rational closure	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure (PDF, talk)
S
Soft constraints	Evidential Group Decision Making Model with Belief-Based Preferences (PDF, talk)
U
Uncertainty	Evidential Group Decision Making Model with Belief-Based Preferences (PDF, talk)
V
Volume Computation	VolCE: An Efficient Tool for Solving #SMT(LA) Problems (PDF, talk)
Volume Estimation	VolCE: An Efficient Tool for Solving #SMT(LA) Problems (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program