7 results on '"Laura Giordano"'
Search Results
2. Dealing with Concurrent Actions in Modal Action Logics.
3. An Abductive Characterization of the TMS.
4. A constructive conditional logic for access control: a preliminary report.
5. Preferential vs Rational Description Logics: which one for Reasoning About Typicality?.
6. Verifying the Conformance of Agents with Multiparty Protocols.
7. Automated Deduction for Logics of Default Reasoning.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.