Sciweavers

805 search results - page 17 / 161
» On the Semantics of Conditional Commitment
Sort
View
ECAI
2010
Springer
15 years 27 days ago
A constructive conditional logic for access control: a preliminary report
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
Valerio Genovese, Laura Giordano, Valentina Gliozz...
TBILLC
2007
Springer
15 years 5 months ago
Inquisitive Semantics: Two Possibilities for Disjunction
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
Jeroen Groenendijk
AAAI
2004
15 years 1 months ago
Extending CP-Nets with Stronger Conditional Preference Statements
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
Nic Wilson
COOPIS
2002
IEEE
15 years 4 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
ACL
2007
15 years 1 months ago
Conditional Modality Fusion for Coreference Resolution
Non-verbal modalities such as gesture can improve processing of spontaneous spoken language. For example, similar hand gestures tend to predict semantic similarity, so features th...
Jacob Eisenstein, Randall Davis