Gopal Gupta
- Parallel Logic Programming: A Sequel
2021/11/22 by Agostino Dovier, Andrea Formisano, Dovier, Agostino +9 · 1 voice
Computer Science · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI #cs.DC #cs.LO #cs.PL
- Reliable Natural Language Understanding with Large Language Models and Answer Set Programming
2023/02/07 by Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar +1 · 1 voice · 1 citation
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge #Topic Modeling #cs.AI #cs.CL
- FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability
2022/08/16 by Huaduo Wang, Wang, Huaduo, Gopal Gupta +1 · 5 citations
Computer Science · #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Machine Learning and Data Classification
- FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
2021/10/15 by Huaduo Wang, Gopal Gupta, Wang, Huaduo +1 · 3 citations
Computer Science · #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
- CASPR: A Commonsense Reasoning-based Conversational Socialbot
2021/10/11 by Kinjal Basu, Huaduo Wang, Basu, Kinjal +11 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
- 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
- Heuristic Based Induction of Answer Set Programs: From Default theories\n to combinatorial problems
2018/02/18 by Farhad Shakerin, Gopal Gupta, Shakerin, Farhad +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #Natural Language Processing Techniques
- Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining
2019/05/24 by Farhad Shakerin, Shakerin, Farhad, Gopal Gupta +1 · 1 citation
Computer Science · #Data Mining Algorithms and Applications #FOS: Computer and information sciences #Imbalanced Data Classification Techniques #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Rough Sets and Fuzzy Logic
- 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
- 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
- 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
- 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
- Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
2024/08/19 by Ondřej Vašíček, Vašíček, Ondřej, Joaquín Arias +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)
- 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