Manuel Carro
- An overview of Ciao and its design philosophy
2011/02/27 by Manuel V. Hermenegildo, Hermenegildo, M. V., Francisco Bueno +11 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)
- Building Information Modeling Using Constraint Logic Programming
2022/05/17 by Joaquín Arias, Arias, Joaquín, Seppo Törmä +5 · 1 citation
Computer Science · Engineering · #BIM and Construction Integration #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint\n Answer Set Programming
2021/06/28 by Joaquín Arias, Manuel Carro, Arias, Joaquín +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- Towards Dynamic Consistency Checking in Goal-directed Predicate Answer\n Set Programming
2021/10/22 by Joaquín Arias, Arias, Joaquín, Manuel Carro +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation
- Sound Multi-party Business Protocols for Service Networks
2008/01/01 by Michele Mancioppi, Manuel Carro, Willem‐Jan van den Heuvel +2 · 1 citation
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #Service-Oriented Architecture and Web Services