Sciweavers

2145 search results - page 316 / 429
» Lax Logical Relations
Sort
View
AAAI
2007
13 years 10 months ago
Semantic Inference at the Lexical-Syntactic Level
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnar...
AAAI
2008
13 years 10 months ago
A First-Order Theory of Stanislavskian Scene Analysis
At the turn of the last century, Constantin Stanislavski developed a new system of acting, replacing the mannered gestures and forced emotion then popular with a more natural styl...
Leora Morgenstern
DLOG
2007
13 years 10 months ago
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
FLAIRS
2007
13 years 10 months ago
Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
Bernhard Heinemann
DLOG
2008
13 years 10 months ago
Realization Problem for Formal Concept Analysis
Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. A `standard' FCA-workflow starts with some `experimental' data, class...
Nikolay Shilov