FOIKS24: 13TH INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS

This page contains an index consisting of author-provided keywords.

(
(minimal) core c-representations	Core c-Representations and c-Core Closure for Conditional Belief Bases
A
Abductive Reasoning	Model-Based Diagnosis with ASP for Non-Groundable Domains
abstract argumentation	Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Analogical Proportions	Decomposing Analogy: A Logic Characterization
Analogy	Decomposing Analogy: A Logic Characterization
answer set optimization	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
Answer Set Programming	Model-Based Diagnosis with ASP for Non-Groundable Domains
apprenticeship	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
Argumentation	On Naive Labellings - Realizability, Construction and Patterns of Redundancy
Argumentation Systems	How to Manage Supports in Incomplete Argumentation
Armstrong instance	Minimal Armstrong databases for cardinality constraints
Armstrong-property	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
Assumption-Based Argumentation	Constrained Derivation in Assumption-Based Argumentation
Axiom systems	On the logic of interventionist counterfactuals under indeterministic causal laws
Axiomatization	Decomposing Analogy: A Logic Characterization
B
Belief Base	Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems
Bipolarity	How to Manage Supports in Incomplete Argumentation
Boehm trees	Epi-Recursion and Epi-Corecursion
C
c-core closure	Core c-Representations and c-Core Closure for Conditional Belief Bases
c-Inference	Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference
c-representation	Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference
c-representations	Core c-Representations and c-Core Closure for Conditional Belief Bases
Cardinality constraint	Minimal Armstrong databases for cardinality constraints Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
Causal models	On the logic of interventionist counterfactuals under indeterministic causal laws
competence matrix	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
Complete axiomatization	Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
complete k-partite graphs	Minimal Armstrong databases for cardinality constraints
Completeness	On the logic of interventionist counterfactuals under indeterministic causal laws
Completions	How to Manage Supports in Incomplete Argumentation
complexity theory	An investigation of the negationless fragment of the Rescher-Härtig quantifier Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Conditional	Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems
conditional reasoning	Core c-Representations and c-Core Closure for Conditional Belief Bases
consistency	Consistency of Relations over Semirings and Monoids
constraint satisfaction problems	Hypertree Decompositions, an Ongoing Project
D
database queries	Hypertree Decompositions, an Ongoing Project
database repairs	Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
database theory	Consistency of Relations over Semirings and Monoids
Derivation rule	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
description logic	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies Engineering Ontologies requires more than Automated Reasoning
Distributed systems	Minimizing agents’ state corruption resulting from leak-free epistemic communication modeling
Diversity bound	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
Duplicate-freeness	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
Dynamic Epistemic Logic	Minimizing agents’ state corruption resulting from leak-free epistemic communication modeling
E
Entailment closure	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
epi-corecursion	Epi-Recursion and Epi-Corecursion
Error-tolerant reasoning	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies
Event-B	A Complete Fragment of LTL(EB)
F
feasible edge colorings	Minimal Armstrong databases for cardinality constraints
Finite attribute domain	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
forgetting	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
formal languages	Engineering Ontologies requires more than Automated Reasoning
from novice to expert model	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
Functional dependency	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
H
Hartig Quantifier	An investigation of the negationless fragment of the Rescher-Härtig quantifier
Higher-order logic	An investigation of the negationless fragment of the Rescher-Härtig quantifier
Hyperproperties	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
hypertree decompositions	Hypertree Decompositions, an Ongoing Project
I
Incompleteness	How to Manage Supports in Incomplete Argumentation
Inconsistency-tolerant reasoning	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies
Independence atom	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
Indeterministic laws	On the logic of interventionist counterfactuals under indeterministic causal laws
inductive inference operator	Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference
infeasible worlds	Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference
integrated maintenance	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
integrity constraints	Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Interventionist counterfactuals	On the logic of interventionist counterfactuals under indeterministic causal laws
K
Knowledge base maintenance	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies
Knowledge Representation	On Naive Labellings - Realizability, Construction and Patterns of Redundancy
L
Labellings	On Naive Labellings - Realizability, Construction and Patterns of Redundancy
Language fragment	An investigation of the negationless fragment of the Rescher-Härtig quantifier
Lexicographic Multi-Objective Optimization	Stochastic Service Composition for LTLf Goals
line graphs	Minimal Armstrong databases for cardinality constraints
Linear temporal logic	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Linear Temporal Logic on Finite Traces	Stochastic Service Composition for LTLf Goals
liveness	A Complete Fragment of LTL(EB)
Logic	An investigation of the negationless fragment of the Rescher-Härtig quantifier
M
maintenance optimization	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
maintenance resources	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
Marginal distribution equivalence	Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
Marginal identity	Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
marginalization	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
Markov Decision Process	Stochastic Service Composition for LTLf Goals
Model theory	An investigation of the negationless fragment of the Rescher-Härtig quantifier
Model-based Diagnosis	Model-Based Diagnosis with ASP for Non-Groundable Domains
Multiplicity bound	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
N
non-free datatypes	Epi-Recursion and Epi-Corecursion
Non-monotonic Reasoning	Constrained Derivation in Assumption-Based Argumentation
Nonmonotonic Reasoning	Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems
Normative Reasoning	Constrained Derivation in Assumption-Based Argumentation
O
ontologies	Engineering Ontologies requires more than Automated Reasoning
Optimal repairs	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies
P
Partial MaxSAT	Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems
Polynomial-time algorithm	Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
Probabilistic independence	Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
Probabilistic team semantics	Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
propositional logic	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
R
Relational schema	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
Rescher Quantifier	An investigation of the negationless fragment of the Rescher-Härtig quantifier
S
Semantic constraint	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
semantics	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
semiring semantics	Consistency of Relations over Semirings and Monoids
Service Composition	Stochastic Service Composition for LTLf Goals
structural recursion	Epi-Recursion and Epi-Corecursion
Support	How to Manage Supports in Incomplete Argumentation
syntax splitting	Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference
System Z	Core c-Representations and c-Core Closure for Conditional Belief Bases
T
Team semantics	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL On the logic of interventionist counterfactuals under indeterministic causal laws
temporal logic	A Complete Fragment of LTL(EB)
U
Uncertainty	How to Manage Supports in Incomplete Argumentation
Update synthesis	Minimizing agents’ state corruption resulting from leak-free epistemic communication modeling
V
variable elimination	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
variable forgetting	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
verification	A Complete Fragment of LTL(EB)

Disclaimer | Powered by EasyChair Smart Program