Abstract
No abstract available.
Cited By
- Zahoor E, Bibi U and Perrin O Shadowed Authorization Policies - A Disaster Waiting to Happen? Web Information Systems Engineering – WISE 2019, (341-355)
- Varshney L, Pinel F, Varshney K, Bhattacharjya D, Schörgendorfer A and Chee Y (2019). A big data approach to computational creativity, IBM Journal of Research and Development, 63:1, (7:1-7:18), Online publication date: 1-Jan-2019.
- Cranefield S, Clark-Younger H and Hay G A Collective Action Simulation Platform Multi-Agent-Based Simulation XX, (69-80)
- Hussain A and Cambria E (2018). Semi-supervised learning for big social data analysis, Neurocomputing, 275:C, (1662-1673), Online publication date: 31-Jan-2018.
- Zernov M Situation Calculus for Multiple Action Representation Proceedings of the 18th International Conference on Computer Systems and Technologies, (28-35)
- Fire A and Zhu S (2015). Learning Perceptual Causality from Video, ACM Transactions on Intelligent Systems and Technology, 7:2, (1-22), Online publication date: 22-Jan-2016.
- Fysarakis K, Hatzivasilis G, Askoxylakis I and Manifavas C RT-SPDM Proceedings of the Third International Conference on Human Aspects of Information Security, Privacy, and Trust - Volume 9190, (619-630)
- Davis E and Marcus G (2015). Commonsense reasoning and commonsense knowledge in artificial intelligence, Communications of the ACM, 58:9, (92-103), Online publication date: 24-Aug-2015.
- Skarlatidis A, Paliouras G, Artikis A and Vouros G (2015). Probabilistic Event Calculus for Event Recognition, ACM Transactions on Computational Logic, 16:2, (1-37), Online publication date: 21-Mar-2015.
- Nissan E Narratives, Formalism, Computational Tools, and Nonlinearity Part II of Essays Dedicated to Yaacov Choueka on Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Volume 8002, (270-393)
- Bringsjord S, G. N, Thero D and Si M Akratic robots and the computational logic thereof Proceedings of the IEEE 2014 International Symposium on Ethics in Engineering, Science, and Technology, (1-8)
- Tun T, Laney R, Yu Y and Nuseibeh B (2013). Specifying software features for composition, Computer Networks: The International Journal of Computer and Telecommunications Networking, 57:12, (2454-2464), Online publication date: 1-Aug-2013.
- Strass H and Thielscher M A language for default reasoning about actions Correct Reasoning, (527-542)
- Wang X, Cao J and Wang J A Runtime Goal Conflict Resolution Model for Agent Systems Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02, (340-347)
- Montazeri N and Hobbs J Elaborating a knowledge base for deep lexical semantics Proceedings of the Ninth International Conference on Computational Semantics, (195-204)
- Schwitter R Working with events and states in PENG light Proceedings of the Second international conference on Controlled Natural Language, (154-174)
- Gaaloul K, Zahoor E, Charoy F and Godart C Dynamic authorisation policies for event-based task delegation Proceedings of the 22nd international conference on Advanced information systems engineering, (135-149)
- Santofimia M, Fahlman S, Moya F and López J A common-sense planning strategy for ambient intelligence Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II, (193-202)
- Urovi V, Bromuri S, Stathis K and Artikis A Initial steps towards run-time support for norm-governed systems Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems, (268-284)
- Artikis A, Paliouras G, Portet F and Skarlatidis A Logic-based representation, reasoning and machine learning for event recognition Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, (282-293)
- Kim T, Lee J and Palla R Circumscriptive event calculus as answer set programming Proceedings of the 21st International Joint Conference on Artificial Intelligence, (823-829)
- Patkos T and Plexousakis D Reasoning with knowledge, action and time in dynamic and uncertain domains Proceedings of the 21st International Joint Conference on Artificial Intelligence, (885-890)
- Drescher C, Schiffel S and Thielscher M A declarative agent programming language based on action theories Proceedings of the 7th international conference on Frontiers of combining systems, (230-245)
- Kamrani F, Ayani R, Moradi F and Holm G Estimating performance of a business process model Winter Simulation Conference, (2977-2988)
- Speer R, Krishnamurthy J, Havasi C, Smith D, Lieberman H and Arnold K An interface for targeted collection of common sense knowledge using a mixture model Proceedings of the 14th international conference on Intelligent user interfaces, (137-146)
- Mueller E (2009). Automating commonsense reasoning using the event calculus, Communications of the ACM, 52:1, (113-117), Online publication date: 1-Jan-2009.
- Samsonovich A, de Jong K, Kitsantas A, Peters E, Dabbagh N and Kalbfleisch M Cognitive Constructor Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference, (311-325)
- Classen A, Heymans P and Schobbens P What's in a feature Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering, (16-30)
- Classen A, Laney R, Tun T, Heymans P and Hubaux A Using the event calculus to reason about problem diagrams Proceedings of the 3rd international workshop on Applications and advances of problem frames, (74-77)
- Mueller E (2006). Event calculus and temporal action logics compared, Artificial Intelligence, 170:11, (1017-1029), Online publication date: 1-Aug-2006.
- Lifschitz V and Ren W A modular action description language Proceedings of the 21st national conference on Artificial intelligence - Volume 1, (853-859)
- Xiong C, Shukla N, Xiong W and Zhu S Robot learning with a spatial, temporal, and causal and-or graph 2016 IEEE International Conference on Robotics and Automation (ICRA), (2144-2151)
Recommendations
"Commonsense" arithmetic reasoning
AAAI'86: Proceedings of the Fifth AAAI National Conference on Artificial Intelligence"Arithmetic reasoning" can range in complexity from simple integer arithmetic to powerful symbolic algebraic reasoning of the sort done by MACSYMA. We describe an arithmetic reasoning system of intermediate complexity called the Quantity Lattice. In a ...