3207 search results - page 373 / 642 » A Semantics for HTN Methods |
150
click to vote
IJCAI
1989
15 years 7 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
161
click to vote
APAL
2008
15 years 6 months ago
2008
Inspired by recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of ...
120
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The aim of this paper is to propose a method for tagging named entities (NE), using natural language processing techniques. Beyond their literal meaning, named entities are freque...
172
click to vote
JUCS
2006
15 years 6 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
158
click to vote
IGPL
2002
15 years 6 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...