7988 search results - page 75 / 1598 » A Useful Undecidable Theory |
CORR
2011
Springer
13 years 20 days ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
FSTTCS
2001
Springer
14 years 1 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
This paper outlines an approach of using engineeringoriented design theories to build bridges between software engineering and human?computer interaction. The main thrust of the a...
ASIAN
2004
Springer
14 years 2 months ago
2004
Springer
We propose a simple theory of expressions which is intended to be used as a foundational syntactic structure for the Natural Framework (NF). We define expression formally and give...
IVC
2002
13 years 8 months ago
2002
This paper addresses a new knowledge model using the Dempster