Lucía Gómez Álvarez

1. Automating Reasoning with Standpoint Logic via Nested Sequents
   2022/05/05 by Tim S. Lyon, Lyon, Tim S., Lucía Gómez Álvarez +1 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multiagent Systems (cs.MA)
2. How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
   2022/06/14 by Lucía Gómez Álvarez, Sebastian Rudolph, Álvarez, Lucía Gómez +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies