7456 search results - page 335 / 1492 » Parallelism in Logic Programming |
167
click to vote
AAAI
2000
15 years 8 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
183
click to vote
VRML
2003
ACM
15 years 12 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
164
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
160
click to vote
MEMBRANE
2005
Springer
16 years 5 days ago
2005
Springer
Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtai...
