Joaquín Arias

1. A scoping review on incentives for adoption of sustainable agricultural practices and their outcomes
   2020/10/12 by Valeria Piñeiro, Joaquín Arias, J. Dürr +8 · 16 citations
   Agricultural and Biological Sciences · Economics, Econometrics and Finance · #Agricultural Innovations and Practices #Economic and Environmental Valuation #Organic Food and Agriculture
2. Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
   2023/03/15 by Yankai Zeng, Zeng, Yankai, Abhiramon Rajasekharan +9 · 3 citations
   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 #Natural Language Processing Techniques
3. 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
4. Knowledge-driven Natural Language Understanding of English Text and its\n Applications
   2021/01/27 by Kinjal Basu, Sarat Chandra Varanasi, Basu, Kinjal +7 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
5. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint\n Answer Set Programming
   2021/06/28 by Joaquín Arias, Arias, Joaquín, Manuel Carro +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
6. Towards Dynamic Consistency Checking in Goal-directed Predicate Answer\n Set Programming
   2021/10/22 by Joaquín Arias, Manuel Carro, Arias, Joaquín +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
7. Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
   2024/08/19 by Ondřej Vašíček, Joaquín Arias, Vašíček, Ondřej +15 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering (cs.SE)
8. An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
   2026/07/20 by Daniel Jurjo-Rivas, DANIEL JURJO-RIVAS, Joaquín Arias +4
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies