Sciweavers

240 search results - page 8 / 48
» Constrained Partial Deduction
Sort
View
FLAIRS
2007
13 years 9 months ago
Deriving Chronological Information from Texts through a Graph-Based Algorithm
We propose a method of deriving chronological order of events in natural language texts by constraining temporal boundaries associated to events and projecting them on a timeline....
Cosmin Adrian Bejan
ICML
2002
IEEE
14 years 8 months ago
Partially Supervised Classification of Text Documents
We investigate the following problem: Given a set of documents of a particular topic or class ?, and a large set ? of mixed documents that contains documents from class ? and othe...
Bing Liu, Wee Sun Lee, Philip S. Yu, Xiaoli Li
CADE
1994
Springer
13 years 11 months ago
A Mechanization of Strong Kleene Logic for Partial Functions
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
Manfred Kerber, Michael Kohlhase
AGENTS
1997
Springer
13 years 11 months ago
Progressive Negotiation For Time-Constrained Autonomous Agents
We address in this paper a problem of autonomous agents performing in a common environment where each agent has its goal to achieve before a given deadline. Agents must be able to...
Abdel-Illah Mouaddib
BIRTHDAY
2009
Springer
14 years 2 months ago
An Action Semantics Based on Two Combinators
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...
Kyung-Goo Doh, David A. Schmidt