1805 search results - page 309 / 361 » A Theory of Closure Operators |
129
Voted
DBPL
1993
Springer
15 years 8 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
144
Voted
CSL
2009
Springer
15 years 8 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
137
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...
132
click to vote
WSC
2004
15 years 5 months ago
2004
In the 21st century, the Biotechnology industry has the potential to inspire a number of management tools and theories, just as the Automobile industry did in the 20th century. Th...
144
click to vote
IJCAI
1997
15 years 5 months ago
1997
Object identification—the task of deciding that two observed objects are in fact one and the same object—is a fundamental requirement for any situated agent that reasons about...