9 results on '"DE GIACOMO, Giuseppe"'
Search Results
2. Situation calculus for controller synthesis in manufacturing systems with first-order state representation
3. Bounded situation calculus action theories
4. Agent planning programs
5. Automatic behavior composition synthesis
6. Data complexity of query answering in description logics
7. Reasoning on UML class diagrams
8. ConGolog, a concurrent programming language based on the situation calculus
9. Reasoning about nondeterministic and concurrent actions: A process algebra approach
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.