3408 search results - page 34 / 682 » Logic, language, information and computation |
SYNTHESE
2008
13 years 8 months ago
2008
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
ACL2
2006
ACM
14 years 16 days ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
ECSQARU
1997
Springer
14 years 28 days ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
ATAL
2006
Springer
14 years 15 days ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...