1950 search results - page 14 / 390 » Lambda-Free Logical Frameworks |
153
click to vote
ATAL
1999
Springer
15 years 10 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
148
click to vote
RR
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
164
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
146
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
140
click to vote
IAT
2008
IEEE
16 years 12 days ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...