Search Results for author:
Found 17 papers, 0 papers with code
Current and Future Challenges in Knowledge Representation and Reasoning
Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence.
Situated Conditional Reasoning
With the semantics in place, we proceed to define a form of entailment for situated conditional knowledge bases, which we refer to as minimal closure.
Theoretical Foundations of Defeasible Description Logics
Besides showing that our semantics is appropriate, these results pave the way for more effective decision procedures for defeasible reasoning in DLs.
On Rational Entailment for Propositional Typicality Logic
Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias normal or conventional) situations in which a given sentence holds.
Maximizing Expected Impact in an Agent Reputation Network -- Technical Report
We propose a new POMDP-based framework which is general enough for the specification of a variety of stochastic MAS domains involving the impact of agents on each other's reputations.
A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure
We then also adapt the method to one of the known extensions of RC for DLs, namely Defeasible Inheritance-based DLs without losing the computational tractability.
Imagining Probabilistic Belief Change as Imaging (Technical Report)
Imaging is a form of probabilistic belief change which could be employed for both revision and update.
Revising Incompletely Specified Convex Probabilistic Belief Bases
In this work, an agent's beliefs are represented by a set of probabilistic formulae -- a belief base.
Cross-linguistic annotation of narrativity for English/French verb tense disambiguation
This paper presents manual and automatic annotation experiments for a pragmatic verb tense feature (narrativity) in English/French parallel corpora.
English-French Verb Phrase Alignment in Europarl for Tense Translation Modeling
This paper presents a method for verb phrase (VP) alignment in an English-French parallel corpus and its use for improving statistical machine translation (SMT) of verb tenses.
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
The use of belief bases to obtain this result provides evidence for the conjecture that Horn belief change is best viewed as a hybrid version of belief set change and belief base change.
Extracting Directional and Comparable Corpora from a Multilingual Corpus for Translation Studies
Translation studies rely more and more on corpus data to examine specificities of translated texts, that can be translated from different original languages and compared to original texts.
Discourse-level Annotation over Europarl for Machine Translation: Connectives and Pronouns
This paper describes methods and results for the annotation of two discourse-level phenomena, connectives and pronouns, over a multilingual parallel corpus.
