research
∙
08/08/2023
Current and Future Challenges in Knowledge Representation and Reasoning
Knowledge Representation and Reasoning is a central, longstanding, and a...
share
research
∙
09/03/2021
Situated Conditional Reasoning
Conditionals are useful for modelling, but are not always sufficiently e...
research
∙
09/28/2020
The Probabilistic Description Logic ℬ𝒜ℒ𝒞
Description logics (DLs) are well-known knowledge representation formali...
research
∙
03/31/2020
Moving-Resting Process with Measurement Error in Animal Movement Modeling
Statistical modeling of animal movement is of critical importance. The c...
research
∙
04/16/2019
Theoretical Foundations of Defeasible Description Logics
We extend description logics (DLs) with non-monotonic reasoning features...
research
∙
09/28/2018
On Rational Entailment for Propositional Typicality Logic
Propositional Typicality Logic (PTL) is a recently proposed logic, obtai...
research
∙
06/03/2018
On estimation for Brownian motion governed by telegraph process with multiple off states
Brownian motion whose infinitesimal variance changes according to a thre...
research
∙
05/14/2018
Maximizing Expected Impact in an Agent Reputation Network -- Technical Report
Many multi-agent systems (MASs) are situated in stochastic environments....
research
∙
02/22/2018
A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_ under Rational Closure
Description Logics (DLs) under Rational Closure (RC) is a well-known fra...
research
∙
05/02/2017
Imagining Probabilistic Belief Change as Imaging (Technical Report)
Imaging is a form of probabilistic belief change which could be employed...
research
∙
04/07/2016
Revising Incompletely Specified Convex Probabilistic Belief Bases
We propose a method for an agent to revise its incomplete probabilistic ...
research
∙
01/16/2014
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Standard belief change assumes an underlying logic containing full class...
research
∙
07/10/2002
Iterated revision and the axiom of recovery: a unified treatment via epistemic states
The axiom of recovery, while capturing a central intuition regarding bel...
research
∙
07/10/2002
Some logics of belief and disbelief
The introduction of explicit notions of rejection, or disbelief, into lo...
research
∙
03/07/2000