The following pages link to Matteo Baldoni (Q596471):
Displayed 19 items.
- Programming rational agents in a modal action logic (Q596475) (← links)
- Reasoning about interaction protocols for customizing web service selection and composition (Q861301) (← links)
- Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions (Q1768894) (← links)
- Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter (Q2695506) (← links)
- (Q2701979) (← links)
- (Q2847794) (← links)
- Behavior-Oriented Commitment-based Protocols (Q2999125) (← links)
- Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS (Q2999237) (← links)
- The Interplay between Relationships, Roles and Objects (Q3400935) (← links)
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? (Q3578397) (← links)
- Verification of Protocol Conformance and Agent Interoperability (Q3623976) (← links)
- (Q3838802) (← links)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295) (← links)
- (Q4448379) (← links)
- (Q5157019) (← links)
- (Q5157020) (← links)
- Computational Logic in Multi-Agent Systems (Q5706839) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897332) (← links)
- Theoretical Computer Science (Q5897363) (← links)