Skip header Section
Skip Bibliometrics Section
Problem-Solving Methods in Artificial IntelligenceJune 1971
- Author:
- Nils J. Nilsson
Abstract
No abstract available.
Cited By
Haigh T (2024). How the AI Boom Went Bust, Communications of the ACM, 67:2, (22-26), Online publication date: 1-Feb-2024.- Sleeman D and Gilhooly K (2023). Groups of experts often differ in their decisions, AI Magazine, 44:4, (555-567), Online publication date: 8-Dec-2023.
- Zheng L, Xing Y, Yu L and Zhang J (2023). Uncovering the Dark Side of Artificial Intelligence in Electronic Markets, Journal of Organizational and End User Computing, 35:1, (1-25), Online publication date: 28-Jul-2023.
- Segev D and Shaposhnik Y (2022). A Polynomial-Time Approximation Scheme for Sequential Batch Testing of Series Systems, Operations Research, 70:2, (1153-1165), Online publication date: 1-Mar-2022.
- Pearl J Asymptotic Properties of Minimax Trees and Game-Searching Procedures Probabilistic and Causal Inference, (61-90)
- Ardizzoni S, Consolini L, Laurini M and Locatelli M Efficient solution algorithms for the Bounded Acceleration Shortest Path problem 2021 60th IEEE Conference on Decision and Control (CDC), (5729-5734)
- Alves M, de Oliveira Oliveira M, Silva J and dos Santos Souza U Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity Computing and Combinatorics, (496-507)
- Dehesa J, Vidler A, Lutteroth C and Padget J Touché: Data-Driven Interactive Sword Fighting in Virtual Reality Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, (1-14)
- Grusho A, Grusho N and Timonina E Information Flow Control on the Basis of Meta Data Distributed Computer and Communication Networks, (548-562)
- Ferreira A, Costa M, Py F, Pinto J, Silva M, Nimmo-Smith A, Johansen T, Sousa J and Rajan K (2019). Advancing multi-vehicle deployments in oceanographic field experiments, Autonomous Robots, 43:6, (1555-1574), Online publication date: 1-Aug-2019.
- Peque G, Harada H and Iryo T Time-Dependent Link Travel Time Approximation for Large-Scale Dynamic Traffic Simulations Computational Science – ICCS 2019, (562-576)
- Wan W, Igawa H, Harada K, Onda H, Nagata K and Yamanobe N (2019). A regrasp planning component for object reorientation, Autonomous Robots, 43:5, (1101-1115), Online publication date: 1-Jun-2019.
- Deligkas A, Mertzios G and Spirakis P (2019). Binary Search in Graphs Revisited, Algorithmica, 81:5, (1757-1780), Online publication date: 1-May-2019.
- Barto A (2019). Reinforcement Learning, AI Magazine, 40:1, (3-15), Online publication date: 1-Mar-2019.
- Khalastchi E and Kalech M (2018). On Fault Detection and Diagnosis in Robotic Systems, ACM Computing Surveys, 51:1, (1-24), Online publication date: 31-Jan-2019.
- Brown N, Sandholm T and Amos B Depth-limited solving for imperfect-information games Proceedings of the 32nd International Conference on Neural Information Processing Systems, (7674-7685)
- Garrett C, Lozano-Pérez T and Kaelbling L (2020). Sampling-based methods for factored task and motion planning, International Journal of Robotics Research, 37:13-14, (1796-1825), Online publication date: 1-Dec-2018.
- Zhurbin I, Nemtsova O, Zlobina A and Gruzdev D (2018). Method of Estimating the Geometric Parameters of a Three-Dimensional Object from Resistivity Survey Data, Pattern Recognition and Image Analysis, 28:4, (830-840), Online publication date: 1-Oct-2018.
- Eriksson S, Röger G and Helmert M Inductive certificates of unsolvability for domain-independent planning Proceedings of the 27th International Joint Conference on Artificial Intelligence, (5244-5248)
- Ciortea A, Mayer S and Michahelles F Repurposing Manufacturing Lines on the Fly with Multi-agent Systems for the Web of Things Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, (813-822)
- Alhaijawy F and Florea A Using Genetic Algorithm to Plan Individuals Temporal and nonTemporal Daily Activities Proceedings of the 2nd Mediterranean Conference on Pattern Recognition and Artificial Intelligence, (14-21)
- Gaschler A, Petrick R, Khatib O and Knoll A (2018). KABouM, Journal of Artificial Intelligence Research, 61:1, (323-362), Online publication date: 1-Jan-2018.
- Konidaris G, Kaelbling L and Lozano-Perez T (2018). From skills to symbols, Journal of Artificial Intelligence Research, 61:1, (215-289), Online publication date: 1-Jan-2018.
- Garrett C, Lozano-Pérez T and Kaelbling L (2018). FFRob, International Journal of Robotics Research, 37:1, (104-136), Online publication date: 1-Jan-2018.
- dos Santos Souza U and Protti F (2017). Tractability, hardness, and kernelization lower bound for and/or graph solution, Discrete Applied Mathematics, 232:C, (125-133), Online publication date: 11-Dec-2017.
- Swan J Harmonic analysis and resynthesis of Sliding-Tile Puzzle heuristics 2017 IEEE Congress on Evolutionary Computation (CEC), (516-524)
- (2017). State space search nogood learning, Artificial Intelligence, 245:C, (1-37), Online publication date: 1-Apr-2017.
- Garrett C, Kaelbling L and Lozano-Pérez T Learning to rank for synthesizing planning heuristics Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, (3089-3095)
- Bhatnagar V, Dahiya N and Singh M (2016). Efficient Materialized View Selection for Multi-Dimensional Data Cube Models, International Journal of Information Retrieval Research, 6:3, (52-74), Online publication date: 1-Jul-2016.
- Bresina J (2016). Activity Planning for a Lunar Orbital Mission, AI Magazine, 37:2, (7-18), Online publication date: 1-Jun-2016.
- Wang H, Gibbins N, Payne T, Patelli A and Wang Y (2015). A survey of Semantic Web Services formalisms, Concurrency and Computation: Practice & Experience, 27:15, (4053-4072), Online publication date: 1-Oct-2015.
- Ould Ouali L, Rich C and Sabouret N Plan Recovery in Reactive HTNs Using Symbolic Planning Proceedings of the 8th International Conference on Artificial General Intelligence - Volume 9205, (320-330)
- Porteous J, Lindsay A, Read J, Truran M and Cavazza M Automated Extension of Narrative Planning Domains with Antonymic Operators Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, (1547-1555)
- Aridhi S, Lacomme P, Ren L and Vincent B (2015). A MapReduce-based approach for shortest path problem in large-scale networks, Engineering Applications of Artificial Intelligence, 41:C, (151-165), Online publication date: 1-May-2015.
- Gianni M, Kruijff G and Pirri F (2015). A Stimulus-Response Framework for Robot Control, ACM Transactions on Interactive Intelligent Systems, 4:4, (1-41), Online publication date: 28-Jan-2015.
- Domshlak C and Mirkis V (2015). Deterministic oversubscription planning as heuristic search, Journal of Artificial Intelligence Research, 52:1, (97-169), Online publication date: 1-Jan-2015.
- Ji Y, Li Q, He Y and Guo D (2015). Overhead analysis and evaluation of approaches to host-based bot detection, International Journal of Distributed Sensor Networks, 2015, (51-51), Online publication date: 1-Jan-2015.
- Thielscher M Simulation of Action Theories and an Application to General Game-Playing Robots Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday on Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Volume 9060, (33-46)
- Rodrigues N, Leitão P and Oliveira E Dynamic Composition of Service Oriented Multi-agent System in Self-organized Environments Proceedings of the 2014 Workshop on Intelligent Agents and Technologies for Socially Interconnected Systems, (1-6)
- Hobbs J and Gordon A Axiomatizing Complex Concepts from Fundamentals Proceedings of the 15th International Conference on Computational Linguistics and Intelligent Text Processing - Volume 8403, (351-365)
- Muggleton S (2014). Alan Turing and the development of Artificial Intelligence, AI Communications, 27:1, (3-10), Online publication date: 1-Jan-2014.
- Giuliani M, Petrick R, Foster M, Gaschler A, Isard A, Pateraki M and Sigalas M Comparing task-based and socially intelligent behaviour in a robot bartender Proceedings of the 15th ACM on International conference on multimodal interaction, (263-270)
- Domshlak C and Nazarenko A (2013). The complexity of optimal monotonic planning, Journal of Artificial Intelligence Research, 48:1, (783-812), Online publication date: 1-Oct-2013.
- Konidaris G Robots, skills, and symbols Proceedings of the 2nd Workshop on Machine Learning for Interactive Systems: Bridging the Gap Between Perception, Action and Communication, (9-11)
- Wurm K, Dornhege C, Nebel B, Burgard W and Stachniss C (2013). Coordinating heterogeneous teams of robots using temporal symbolic planning, Autonomous Robots, 34:4, (277-294), Online publication date: 1-May-2013.
- ValdéS F, Iglesias R, Espinosa F and RodríGuez M (2013). Effect of a risk factor in convoy merging manoeuvres considering uncertainty in travelling times, Applied Soft Computing, 13:1, (247-258), Online publication date: 1-Jan-2013.
- Foster M, Gaschler A, Giuliani M, Isard A, Pateraki M and Petrick R Two people walk into a bar Proceedings of the 14th ACM international conference on Multimodal interaction, (3-10)
- dos Santos L, Gonzales Clua E and Bernardini F A parallel fipa architecture based on GPU for games and real time simulations Proceedings of the 11th international conference on Entertainment Computing, (306-317)
- Hatzi O, Nikolaidou M, Katsivelis-Perakis P, Hudhra V and Anagnostopoulos D Using social network technology to provide e-administration services as collaborative tasks Proceedings of the 2012 Joint international conference on Electronic Government and the Information Systems Perspective and Electronic Democracy, and Proceedings of the 2012 Joint international conference on Advancing Democracy, Government and Governance, (216-230)
- Qiu R, Noyvirt A, Ji Z, Soroka A, Li D, Liu B, Arbeiter G, Weisshardt F and Xu S (2012). Integration of Symbolic Task Planning into Operations within an Unstructured Environment, International Journal of Intelligent Mechatronics and Robotics, 2:3, (38-57), Online publication date: 1-Jul-2012.
- Norouzi M, De Bruijn F and Miró J Planning stable paths for urban search and rescue robots Robot Soccer World Cup XV, (90-101)
- Pérez J and Crespo Y Computation of refactoring plans from refactoring strategies using HTN planning Proceedings of the Fifth Workshop on Refactoring Tools, (24-31)
- Domshlak C, Karpas E and Markovitch S (2012). Online speedup learning for optimal planning, Journal of Artificial Intelligence Research, 44:1, (709-755), Online publication date: 1-May-2012.
- Mami I and Bellahsene Z (2012). A survey of view selection methods, ACM SIGMOD Record, 41:1, (20-29), Online publication date: 25-Apr-2012.
- Tecuci G (2012). Artificial intelligence, WIREs Computational Statistics, 4:2, (168-180), Online publication date: 7-Feb-2012.
- Ziparo V, Iocchi L, Lima P, Nardi D and Palamara P (2011). Petri Net Plans, Autonomous Agents and Multi-Agent Systems, 23:3, (344-383), Online publication date: 1-Nov-2011.
- Löwe B, Pacuit E and Witzel A DEL planning and some tractable cases Proceedings of the Third international conference on Logic, rationality, and interaction, (179-192)
- Valdes F, Iglesias R, Espinosa F, Rodríguez M, Quintia P and Santos C Robot routing approaches for convoy merging maneuvers Proceedings of the 12th Annual conference on Towards autonomous robotic systems, (241-252)
- Mami I, Coletta R and Bellahsene Z Modeling view selection as a constraint satisfaction problem Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II, (396-410)
- Miao Y, Khamis A, Karray F and Kamel M Global optimal path planning for mobile robots based on hybrid approach with high diversity and memorization Proceedings of the Second international conference on Autonomous and intelligent systems, (1-10)
- Porteous J, Teutenberg J, Charles F and Cavazza M Controlling narrative time in interactive storytelling The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, (449-456)
- Murphy E, O'Neill M and Brabazon A Examining mutation landscapes in grammar based genetic programming Proceedings of the 14th European conference on Genetic programming, (130-141)
- Jarvis R and Ho N Range based cybernavigation in natural known environments Transactions on computational science XII, (159-182)
- Li B and Riedl M Creating customized game experiences by leveraging human creative effort Agents for games and simulations II, (99-116)
- Ashida M and Taki H Geometric considerations of search behavior Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II, (611-619)
- Riedl M and Young R (2010). Narrative planning, Journal of Artificial Intelligence Research, 39:1, (217-268), Online publication date: 1-Sep-2010.
- Hobbs J and Gordon A Goals in a Formal Theory of Commonsense Psychology Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010), (59-72)
- Miro J and Dissanayake G Automatic fine motor control behaviours for autonomous mobile agents operating on uneven terrains Proceedings of the 3rd International Symposium on Practical Cognitive Agents and Robots, (33-40)
- Thielscher M Integrating action calculi and AgentSpeak Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, (79-89)
- Bohlin M, Doganay K, Kreuger P, Steinert R and Wärja M (2010). Searching for Gas Turbine Maintenance Schedules, AI Magazine, 31:1, (21-36), Online publication date: 1-Mar-2010.
- Munilla S and Young R Zuzen, a cloud-based framework for automated machinima generation Proceedings of the International Conference on Advances in Computer Enterntainment Technology, (199-206)
- Al-Shawa M and Basir O Constrained rationality Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics, (1439-1445)
- Marew T, Lee J and Bae D (2009). Tactics based approach for integrating non-functional requirements in object-oriented analysis and design, Journal of Systems and Software, 82:10, (1642-1656), Online publication date: 1-Oct-2009.
- Lee-Urban S and Muñoz-Avila H Adaptation versus Retrieval Trade-Off Revisited Proceedings of the 8th International Conference on Case-Based Reasoning Research and Development - Volume 5650, (180-194)
- Qin J, Fahringer T and Prodan R A novel graph based approach for automatic composition of high quality grid workflows Proceedings of the 18th ACM international symposium on High performance distributed computing, (167-176)
- Garrido A, Arangu M and Onaindia E (2009). A constraint programming formulation for planning, Journal of Scheduling, 12:3, (227-256), Online publication date: 1-Jun-2009.
- Hindriks K, van der Hoek W and van Riemsdijk M Agent programming with temporally extended goals Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1, (137-144)
- Horswill I Very fast action selection for parameterized behaviors Proceedings of the 4th International Conference on Foundations of Digital Games, (91-98)
- Yan F and Fong P Efficient IRM enforcement of history-based access control policies Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, (35-46)
- Wojnar M and Andreae P HOPPER Proceedings of the Thirty-Second Australasian Conference on Computer Science - Volume 91, (85-94)
- Manoj B, Sekhar A and Siva Ram Murthy C (2009). A state-space search approach for optimizing reliability and cost of execution in distributed sensor networks, Journal of Parallel and Distributed Computing, 69:1, (12-19), Online publication date: 1-Jan-2009.
- Yang S, Segre A and Codenotti B (2009). An optimal multiprocessor combinatorial auction solver, Computers and Operations Research, 36:1, (149-166), Online publication date: 1-Jan-2009.
- Vassos S, Lakemeyer G and Levesque H First-order strong progression for local-effect basic action theories Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (662-671)
- Petrick R Cartesian situations and knowledge decomposition in the situation calculus Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (629-639)
- Eyerich P, Brenner M and Nebel B On the complexity of planning operator subsumption Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (518-527)
- Petrik M and Zilberstein S Learning heuristic functions through approximate linear programming Proceedings of the Eighteenth International Conference on International Conference on Automated Planning and Scheduling, (248-255)
- Breimyer P and Wurman P PBA* Proceedings of the 23rd national conference on Artificial intelligence - Volume 2, (880-885)
- Zhao L and Safonova A Achieving good connectivity in motion graphs Proceedings of the 2008 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, (127-136)
- Balaban M and Jurk S (2008). Effect preservation in transaction processing in rule triggering systems, Acta Cybernetica, 18:4, (733-776), Online publication date: 20-Jan-2008.
- Şahin E, Çakmak M, Doğar M, Uğur E and Üçoluk G (2007). To Afford or Not to Afford, Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems, 15:4, (447-472), Online publication date: 1-Dec-2007.
- Bruno N and Chaudhuri S (2007). Physical design refinement, ACM Transactions on Database Systems, 32:4, (28-es), Online publication date: 1-Nov-2007.
- Chan H, Fern A, Ray S, Wilson N and Ventura C Online planning for resource production in real-time strategy games Proceedings of the Seventeenth International Conference on International Conference on Automated Planning and Scheduling, (65-72)
- Zhou Q, Cai Y, Li D and Hong X (2007). A yield-driven gridless router, Journal of Computer Science and Technology, 22:5, (653-660), Online publication date: 1-Sep-2007.
- Lee C, Wu Y and Chen A Continuous evaluation of fastest path queries on road networks Proceedings of the 10th international conference on Advances in spatial and temporal databases, (20-37)
- Stern D, Herbrich R and Graepel T Learning to solve game trees Proceedings of the 24th international conference on Machine learning, (839-846)
- SIMPSON R, KITCHIN D and McCLUSKEY T (2007). Planning domain definition using GIPO, The Knowledge Engineering Review, 22:2, (117-134), Online publication date: 1-Jun-2007.
- Capkovic F (2007). DES modelling and control vs. problem solving methods, International Journal of Intelligent Information and Database Systems, 1:1, (53-78), Online publication date: 1-Apr-2007.
- Tanimoto S Towards a shared language for problem-solving in design Proceedings of the 2007 Symposium on Science of Design, (19-21)
- Ruml W and Do M Best-first utility-guided search Proceedings of the 20th international joint conference on Artifical intelligence, (2378-2384)
- Camacho D and R-Moreno M (2007). Towards an automatic monitoring for higher education Learning Design, International Journal of Metadata, Semantics and Ontologies, 2:1, (1-10), Online publication date: 1-Jan-2007.
- Floyd R The paradigms of programming ACM Turing award lectures
- Newell A and Simon H Computer science as empirical inquiry ACM Turing award lectures
- Jonsson A and Barto A (2006). Causal Graph Based Decomposition of Factored MDPs, The Journal of Machine Learning Research, 7, (2259-2301), Online publication date: 1-Dec-2006.
- Jarvis R Robot path planning Proceedings of the 2006 international symposium on Practical cognitive agents and robots, (3-14)
- Fu L, Sun D and Rilett L (2006). Heuristic shortest path algorithms for transportation applications, Computers and Operations Research, 33:11, (3324-3343), Online publication date: 1-Nov-2006.
- de Melo J and Lopes C Achieving conditional plans through the use of classical planning algorithms Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence, (512-521)
- Pineau J, Gordon G and Thrun S (2006). Anytime point-based approximations for large POMDPs, Journal of Artificial Intelligence Research, 27:1, (335-380), Online publication date: 1-Sep-2006.
- Ritchie G (2006). The transformational creativity hypothesis, New Generation Computing, 24:3, (241-266), Online publication date: 1-Sep-2006.
- Fernando T Finite-State temporal projection Proceedings of the 11th international conference on Implementation and Application of Automata, (230-241)
- Likhachev M and Stentz A PPCP Proceedings of the 21st national conference on Artificial intelligence - Volume 1, (860-867)
- Nazarova I (2006). Models and methods for solving the problem of network vulnerability, Journal of Computer and Systems Sciences International, 45:4, (567-578), Online publication date: 1-Jul-2006.
- Koenig S and Likhachev M A new principle for incremental heuristic search Proceedings of the Sixteenth International Conference on International Conference on Automated Planning and Scheduling, (402-405)
- Levine G and DeJong G Explanation-based acquisition of planning operators Proceedings of the Sixteenth International Conference on International Conference on Automated Planning and Scheduling, (152-161)
- Xing Z, Chen Y and Zhang W An efficient hybrid strategy for temporal planning Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (273-287)
- Hoffmann J, Edelkamp S, Thiébaux S, Englert R, dos Santos Liporace F and Trüg S (2006). Engineering benchmarks for planning, Journal of Artificial Intelligence Research, 26:1, (453-541), Online publication date: 1-May-2006.
- Saunders J, Nehaniv C and Dautenhahn K Teaching robots by moulding behavior and scaffolding the environment Proceedings of the 1st ACM SIGCHI/SIGART conference on Human-robot interaction, (118-125)
- Cordeschi R Searching in a maze, in search of knowledge Reasoning, Action and Interaction in AI Theories and Systems, (1-23)
- Sekhar A, Manoj B and Murthy C A state-space search approach for optimizing reliability and cost of execution in distributed sensor networks Proceedings of the 7th international conference on Distributed Computing, (63-74)
- Sarker B, Tripathi A, Vidyarthi D, Yang L and Uehara K Load balanced allocation of multiple tasks in a distributed computing system Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, (584-596)
- Peyré G and Cohen L Heuristically driven front propagation for geodesic paths extraction Proceedings of the Third international conference on Variational, Geometric, and Level Set Methods in Computer Vision, (173-185)
- Nordlander T, Sleeman D and Brown K Knowledge base reuse through constraint relaxation Proceedings of the 3rd international conference on Knowledge capture, (59-66)
- Massacci F, Mylopoulos J and Zannone N Minimal disclosure in hierarchical hippocratic databases with delegation Proceedings of the 10th European conference on Research in Computer Security, (438-454)
- Mendez G and de Antonio A Training agents Lecture Notes in Computer Science, (1-14)
- Cox M, Muñoz-avila H and Bergmann R (2005). Case-based planning, The Knowledge Engineering Review, 20:3, (283-287), Online publication date: 1-Sep-2005.
- Rabinovich Z and Rosenschein J Multiagent coordination by Extended Markov Tracking Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, (431-438)
- Hoffmann J and Edelkamp S (2005). The deterministic part of IPC-4, Journal of Artificial Intelligence Research, 24:1, (519-579), Online publication date: 1-Jul-2005.
- Fraser G, Steinbauer G and Wotawa F Plan execution in dynamic environments Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence, (208-217)
- Yang Q, Wu K and Jiang Y Learning action models from plan examples with incomplete knowledge Proceedings of the Fifteenth International Conference on International Conference on Automated Planning and Scheduling, (241-250)
- Edelkamp S External symbolic heuristic search with pattern databases Proceedings of the Fifteenth International Conference on International Conference on Automated Planning and Scheduling, (51-60)
- Tianfield H (2005). Some Reflections on Intelligent Control, Artificial Intelligence Review, 23:1, (57-91), Online publication date: 1-Mar-2005.
- Alessandri E, Gasparetto A, Valencia Garcia R and Martinez Béjar R (2005). An application of artificial intelligence to medical robotics, Journal of Intelligent and Robotic Systems, 41:4, (225-243), Online publication date: 20-Jan-2005.
- Kim S and Oommen B (2005). On Utilizing Search Methods to Select Subspace Dimensions for Kernel-Based Nonlinear Subspace Classifiers, IEEE Transactions on Pattern Analysis and Machine Intelligence, 27:1, (136-141), Online publication date: 1-Jan-2005.
- Holmes M and Isbell C Schema learning Proceedings of the 17th International Conference on Neural Information Processing Systems, (585-592)
- Foo N and Peppas P Systems theory Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (14-23)
- Deborafield and Allanramsay (2004). Sarcasm, Deception, and Stating the Obvious, Artificial Intelligence Review, 22:2, (149-171), Online publication date: 1-Oct-2004.
- Braubach L, Pokahr A, Moldt D and Lamersdorf W Goal representation for BDI agent systems Proceedings of the Second international conference on Programming Multi-Agent Systems, (44-65)
- Hoffmann J, Porteous J and Sebastia L (2004). Ordered landmarks in planning, Journal of Artificial Intelligence Research, 22:1, (215-278), Online publication date: 1-Jul-2004.
- Somol P, Pudil P and Kittler J (2004). Fast Branch & Bound Algorithms for Optimal Feature Selection, IEEE Transactions on Pattern Analysis and Machine Intelligence, 26:7, (900-912), Online publication date: 1-Jul-2004.
- Delgrande J, Schaub T and Tompits H Domain-specific preferences for causal reasoning and planning Proceedings of the Fourteenth International Conference on International Conference on Automated Planning and Scheduling, (63-72)
- Koenig S, Likhachev M, Liu Y and Furcy D (2004). Incremental heuristic search in AI, AI Magazine, 25:2, (99-112), Online publication date: 1-Jun-2004.
- Koenig S, Likhachev M, Liu Y and Furcy D (2004). Incremental Heuristic Search in AI, AI Magazine, 25:2, (99-112), Online publication date: 1-Jun-2004.
- Edelkamp S Promela planning Proceedings of the 10th international conference on Model checking software, (197-213)
- Nicosia G and Oriolo G (2003). An approximate A* algorithm and its application to the SCS problem, Theoretical Computer Science, 290:3, (2021-2029), Online publication date: 3-Jan-2003.
- Batres R, Soutter J, Asprey S and Chung P (2002). Operating procedure synthesis: science or art?, The Knowledge Engineering Review, 17:3, (261-294), Online publication date: 1-Sep-2002.
- Jensen R, Bryant R and Veloso M SetA* Eighteenth national conference on Artificial intelligence, (668-673)
- Koenig S and Likhachev M D*lite Eighteenth national conference on Artificial intelligence, (476-483)
- Nicolescu M and Matarić M A hierarchical architecture for behavior-based robots Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1, (227-233)
- Romein J, Bal H, Schaeffer J and Plaat A (2002). A Performance Analysis of Transposition-Table-Driven Work Scheduling in Distributed Search, IEEE Transactions on Parallel and Distributed Systems, 13:5, (447-459), Online publication date: 1-May-2002.
- Edelkamp S Symbolic pattern databases in heuristic search planning Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, (274-283)
- Ilghami O, Nau D, Muñoz-Avila H and Aha D CaMeL Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, (131-141)
- Papadakis N and Plexousakis D The Ramification and Qualification Problems in Temporal Databases Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence, (18-29)
- Levin M (2002). Towards Combinatorial Analysis, Adaptation, and Planning of Human-Computer Systems, Applied Intelligence, 16:3, (235-247), Online publication date: 27-Feb-2002.
- Szarowicz A, Amiguet-Vercher J, Forte P, Briggs J, Gelepithis P and Remagnino P The Application of AI to Automatically Generated Animation Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence, (487-494)
- Koenig S (2001). Agent‐Centered Search, AI Magazine, 22:4, (109-131), Online publication date: 1-Dec-2001.
- Sanders K (2001). CHIRON, Artificial Intelligence and Law, 9:4, (225-269), Online publication date: 1-Dec-2001.
- Bittencourt G and Tonin I (2001). An Algorithm for Dual Transformation in First-Order Logic, Journal of Automated Reasoning, 27:4, (353-389), Online publication date: 1-Nov-2001.
- Karlsson L and Schiavinotto T Progressive Planning for Mobile Robots (A Progress Report) Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,, (106-122)
- Martin Y and Thielscher M Addressing the Qualification Problem in FLUX Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence, (290-304)
- Matellán V and Borrajo D (2001). ABC2 an Agenda Based Multi-Agent Model for Robots Control and Cooperation, Journal of Intelligent and Robotic Systems, 32:1, (93-114), Online publication date: 1-Sep-2001.
- Och F, Ueffing N and Ney H An efficient A* search algorithm for statistical machine translation Proceedings of the workshop on Data-driven methods in machine translation - Volume 14, (1-8)
- Refanidis I and Vlahavas I (2001). The GRT planning system, Journal of Artificial Intelligence Research, 15:1, (115-161), Online publication date: 1-Jul-2001.
- Koenig S and Liu Y Terrain coverage with ant robots Proceedings of the fifth international conference on Autonomous agents, (600-607)
- Finzi A, Pirri F, Pirrone M, Romano M and Vaccaro M Autonomous mobile manipulators managing perception and failures Proceedings of the fifth international conference on Autonomous agents, (196-203)
- Koenig S, Szymanski B and Liu Y (2001). Efficient and inefficient ant coverage methods, Annals of Mathematics and Artificial Intelligence, 31:1-4, (41-76), Online publication date: 2-May-2001.
- Westerberg C and Levine J Investigation of Different Seeding Strategies in a Genetic Planner Proceedings of the EvoWorkshops on Applications of Evolutionary Computing, (505-514)
- Carpin S, Ferrari C, Pagello E and Patuelli P Bridging Deliberation and Reactivity in Cooperative Multi-Robot Systems through Map Focus Balancing Reactivity and Social Deliberation in Multi-Agent Systems, From RoboCup to Real-World Applications (selected papers from the ECAI 2000 Workshop and additional contributions), (35-52)
- Hoffmann J and Nebel B (2001). The FF planning system, Journal of Artificial Intelligence Research, 14:1, (253-302), Online publication date: 1-Jan-2001.
- Crossen A, Budzik J, Warner M, Birnbaum L and Hammond K XLibris Proceedings of the 6th international conference on Intelligent user interfaces, (49-52)
- Shibuya T (2000). Computing the nxm shortest path efficiently, ACM Journal of Experimental Algorithmics, 5, (9-es), Online publication date: 31-Dec-2001.
- Nebel B On the expressive power of planning formalisms Logic-based artificial intelligence, (469-488)
- Shanahan M Reinventing shakey Logic-based artificial intelligence, (233-253)
- Kautz H and Selman B Encoding domain knowledge for prositional planning Logic-based artificial intelligence, (169-186)
- Nixon B (2000). Management of Performance Requirements for Information Systems, IEEE Transactions on Software Engineering, 26:12, (1122-1146), Online publication date: 1-Dec-2000.
- Gmytrasiewicz P and Durfee E (2000). Rational Coordination in Multi-Agent Environments, Autonomous Agents and Multi-Agent Systems, 3:4, (319-350), Online publication date: 1-Dec-2000.
- van Lamsweerde A and Letier E (2000). Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, 26:10, (978-1005), Online publication date: 1-Oct-2000.
- Mayfield J (2000). Evaluating Plan Recognition Systems, Artificial Intelligence Review, 14:4-5, (351-376), Online publication date: 1-Oct-2000.
- García-Martínez R and Borrajo D (2000). An Integrated Approach of Learning, Planning, and Execution, Journal of Intelligent and Robotic Systems, 29:1, (47-78), Online publication date: 1-Sep-2000.
- Gaines D and Hayes C (2000). Simultaneously searching for planning goals, operators, and effectors, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 14:4, (305-322), Online publication date: 1-Sep-2000.
- Refanidis I and Vlahavas I The GRT Planner Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers, (120-138)
- Jensen R and Veloso M (2000). OBDD-based universal planning for synchronized agents in non-deterministic domains, Journal of Artificial Intelligence Research, 13:1, (189-226), Online publication date: 1-Aug-2000.
- Bouzid M and Ligeza A (2000). Temporal Causal Abduction, Constraints, 5:3, (303-319), Online publication date: 1-Jul-2000.
- van Lamsweerde A Requirements engineering in the year 00 Proceedings of the 22nd international conference on Software engineering, (5-19)
- Yamada S and Ohsawa Y Navigation planning to guide concept understanding in the World Wide Web Proceedings of the fourth international conference on Autonomous agents, (114-115)
- Huang I and Kao W (2000). A Machine State Transition Approach to Instruction Retargeting for Embedded Microprocessors, Design Automation for Embedded Systems, 5:2, (153-177), Online publication date: 1-Jun-2000.
- Jones J, Millington M and Virvou M (2000). An Assumption-based Truth Maintenance System in ActiveAid for UNIX Users, Artificial Intelligence Review, 14:3, (229-252), Online publication date: 1-Jun-2000.
- Vossen T, Ball M, Lotem A and Nau D (2000). Applying integer programming to AI planning, The Knowledge Engineering Review, 15:1, (85-100), Online publication date: 1-Mar-2000.
- Nebel B (2000). On the compilability and expressive power of propositional planning formalisms, Journal of Artificial Intelligence Research, 12:1, (271-315), Online publication date: 1-Feb-2000.
- Ritchie G (1999). Completeness conditions for mixed strategy bidirectional parsing, Computational Linguistics, 25:4, (457-486), Online publication date: 1-Dec-1999.
- Koubarakis M and Plexousakis D (1999). Business Process Modelling and Design — A Formal Model and Methodology, BT Technology Journal, 17:4, (23-35), Online publication date: 1-Oct-1999.
- Farreny H (1999). Completeness and Admissibility for General Heuristic Search Algorithms—A Theoretical Study, Journal of Heuristics, 5:3, (353-376), Online publication date: 1-Oct-1999.
- Amant R (1999). User interface affordances in a planning representation, Human-Computer Interaction, 14:3, (317-354), Online publication date: 1-Sep-1999.
- Haller S (1999). An Introduction to Interactive Discourse Processing from thePerspective of Plan Recognition and Text Planning, Artificial Intelligence Review, 13:4, (259-311), Online publication date: 1-Aug-1999.
- Holte R and Hernádvölgyi I A space-time tradeoff for memory-based heuristics Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence, (704-709)
- Kavakli E and Loucopoulos P (1999). Focus issue on legacy information systems and business process engineering, Communications of the AIS, 2:1es, (6-es), Online publication date: 1-Jul-1999.
- Boutilier C, Dean T and Hanks S (1999). Decision-theoretic planning, Journal of Artificial Intelligence Research, 11:1, (1-94), Online publication date: 1-Jul-1999.
- Gennery D (1999). Traversability Analysis and Path Planning for a Planetary Rover, Autonomous Robots, 6:2, (131-146), Online publication date: 1-Apr-1999.
- Spanoudakis G, Finkelsteiin A and Till D (1999). Overlaps in Requirements Engineering, Automated Software Engineering, 6:2, (171-198), Online publication date: 1-Apr-1999.
- Virvou M and Du Boulay B (1999). Human Plausible Reasoning for Intelligent Help, User Modeling and User-Adapted Interaction, 9:4, (321-375), Online publication date: 1-Apr-1999.
- Ali S (1999). Links, intelligence, 10:1, (11-12), Online publication date: 21-Mar-1999.
- Van Noord G, Bouma G, Koeling R and Nederhof M (1999). Robust grammatical analysis for spoken dialogue systems, Natural Language Engineering, 5:1, (45-93), Online publication date: 1-Mar-1999.
- Jensen R and Veloso M OBDD-based universal planning Artificial intelligence today, (213-248)
- Boutilier C Knowledge representation for stochastic decision processes Artificial intelligence today, (111-152)
- Blythe J An overview of planning under uncertainty Artificial intelligence today, (85-110)
- Beckstein C and Klausner J (1999). A Meta Level Architecture For Workflow Management, Journal of Integrated Design & Process Science, 3:1, (15-26), Online publication date: 1-Jan-1999.
- Schneider-Fontán M (1999). Plan Execution Based on Active Perception, Autonomous Robots, 6:1, (53-68), Online publication date: 1-Jan-1999.
- Nixon B Managing performance requirements for information systems Proceedings of the 1st international workshop on Software and performance, (131-144)
- Polyak S and Tate A (1998). Rationale in planning: causality, dependencies, and decisions, The Knowledge Engineering Review, 13:3, (247-262), Online publication date: 1-Oct-1998.
- Kafil M and Ahmad I (1998). Optimal Task Assignment in Heterogeneous Distributed Computing Systems, IEEE Concurrency, 6:3, (42-51), Online publication date: 1-Jul-1998.
- Kelly A and Stentz A (1998). Rough Terrain Autonomous Mobility—Part 2, Autonomous Robots, 5:2, (163-198), Online publication date: 1-May-1998.
- MCROY S (1998). Achieving robust human-computer communication, International Journal of Human-Computer Studies, 48:5, (681-704), Online publication date: 1-May-1998.
- McROY S (1998). Preface, International Journal of Human-Computer Studies, 48:5, (547-552), Online publication date: 1-May-1998.
- BENJAMINS V and SHADBOLT N (1998). Preface, International Journal of Human-Computer Studies, 48:4, (409-416), Online publication date: 1-Apr-1998.
- Garcia-Alegre M and Recio F (1998). Basic Visual and Motor Agents for Increasingly Complex Behavior Generation on a Mobile Robot, Autonomous Robots, 5:1, (19-28), Online publication date: 1-Mar-1998.
- TURNER R (1998). Context-mediated behavior for intelligent agents, International Journal of Human-Computer Studies, 48:3, (307-330), Online publication date: 1-Mar-1998.
- Guinn C (1998). An Analysis of Initiative Selection in CollaborativeTask-Oriented Discourse, User Modeling and User-Adapted Interaction, 8:3-4, (255-314), Online publication date: 1-Feb-1998.
- Dutton D and Conroy G (1997). A review of machine learning, The Knowledge Engineering Review, 12:4, (341-367), Online publication date: 1-Dec-1997.
- Bylander T A linear programming heuristic for optimal planning Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence, (694-699)
- Kartik S and Ram Murthy C (1997). Task Allocation Algorithms for Maximizing Reliability of Distributed Computing Systems, IEEE Transactions on Computers, 46:6, (719-724), Online publication date: 1-Jun-1997.
- Garcia-Alegre M and Recio F Basic agents for visual/motor coordination of a mobile robot Proceedings of the first international conference on Autonomous agents, (429-434)
- Chakrabarti I, Sarkar D and Majumdar A Inductive Verification of Sequential Circuits with a Datapath Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
- Darimont R and van Lamsweerde A (1996). Formal refinement patterns for goal-driven requirements elaboration, ACM SIGSOFT Software Engineering Notes, 21:6, (179-190), Online publication date: 1-Nov-1996.
- Darimont R and van Lamsweerde A Formal refinement patterns for goal-driven requirements elaboration Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, (179-190)
- Mitsuhashi T, Murakata M, Yoshida K and Aoki T Physical design CAD in deep sub-micron era Proceedings of the conference on European design automation, (350-355)
- Delin J, Scott D and Hartley A Language-specific mappings from semantics to syntax Proceedings of the 16th conference on Computational linguistics - Volume 1, (292-297)
- Kambhampati S Refinement planning Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2, (1331-1336)
- Gerevini A and Schubert L (1996). Accelerating partial-order planners, Journal of Artificial Intelligence Research, 5:1, (95-137), Online publication date: 1-Aug-1996.
- Hartley A and Paris C Two sources of control over the generation of software instructions Proceedings of the 34th annual meeting on Association for Computational Linguistics, (192-199)
- McDermott D A heuristic estimator for means-ends analysis in planning Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (142-149)
- Gerevini A and Schubert L Computing parameter domains as an aid to planning Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (94-101)
- Thomason R and Horty J Nondeterministic action and dominance Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge, (229-250)
- Pryor L and Collins G (1996). Planning for contingencies, Journal of Artificial Intelligence Research, 4:1, (287-339), Online publication date: 1-Jan-1996.
- Chung L, Nixon B and Yu E An approach to building quality into software architecture Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
- Valiant L Rationality Proceedings of the eighth annual conference on Computational learning theory, (3-14)
- Bergmann R and Wilke W (1995). Building and refining abstract planning cases by change of representation language, Journal of Artificial Intelligence Research, 3:1, (53-118), Online publication date: 1-Jun-1995.
- Veloso M and Stone P (1995). FLECS, Journal of Artificial Intelligence Research, 3:1, (25-52), Online publication date: 1-Jun-1995.
- Chung L and Nixon B Dealing with non-functional requirements Proceedings of the 17th international conference on Software engineering, (25-37)
- Howorka G, Anderson L, Goul K and Hine M (1995). A Computational Model of Coordination for the Design of Organizational Decision Support Systems, International Journal of Intelligent Systems in Accounting and Finance Management, 4:1, (43-70), Online publication date: 1-Mar-1995.
- Vandeventer L and Santucci J Speeding up test pattern generation from behavioral VHDL descriptions containing several processes Proceedings of the conference on European design automation, (632-637)
- Spector L Genetic programming and AI planning systems Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, (1329-1334)
- Veloso M Flexible strategy learning Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, (595-600)
- Ramalho G and Ganascia J Simulating creativity in jazz performance Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, (108-113)
- Spector L, Rattermann M and Prentice K Ordering relations in human and machine planning Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, (80-85)
- Dearden R and Boutilier C Integrating planning and execution in stochastic domains Proceedings of the Tenth international conference on Uncertainty in artificial intelligence, (162-169)
- Delin J, Hartley A, Paris C, Scott D and Vander Linden K Expressing procedural relationships in multilingual instructions Proceedings of the Seventh International Workshop on Natural Language Generation, (61-70)
- Chrétien D, Viémont Y, Larue T, Legoff R and Pastre D The GéoSabrina design Proceedings of the 1994 ACM symposium on Applied computing, (328-332)
- Ginsberg M and Holbrook H (1994). What Defaults Can Do That Hierarchies Can't, Fundamenta Informaticae, 21:1,2, (149-159), Online publication date: 1-Apr-1994.
- Parsons I Evaluation of distributed communication systems Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2, (956-970)
- Stephan W and Biundo S A new logical framework for deductive planning Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1, (32-38)
- Collins G and Pryor L Achieving the functionality of filter conditions in a partial order planner Proceedings of the tenth national conference on Artificial intelligence, (375-380)
- Palczewski M Plane parallel a maze router and its application to FPGAs Proceedings of the 29th ACM/IEEE Design Automation Conference, (691-697)
- Green N and Carberry S Conversational implicatures in indirect replies Proceedings of the 30th annual meeting on Association for Computational Linguistics, (64-71)
- Mylopoulos J, Chung L and Nixon B (1992). Representing and using nonfunctional requirements, IEEE Transactions on Software Engineering, 18:6, (488-497), Online publication date: 1-Jun-1992.
- Mylopoulos J, Chung L and Nixon B (1992). Representing and Using Nonfunctional Requirements, IEEE Transactions on Software Engineering, 18:6, (483-497), Online publication date: 1-Jun-1992.
- Paul D An efficient A* stack decoder algorithm for continuous speech recognition with a stochastic language model Proceedings of the workshop on Speech and Natural Language, (405-409)
- Dardenne A, Fickas S and van Lamsweerde A Goal-directed concept acquisition in requirements elicitation Proceedings of the 6th international workshop on Software specification and design, (14-21)
- Tissen A A case-based architecture for a dialogue manager for information-seeking processes Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval, (152-161)
- Pednault E Generalizing nonlinear planning to handle complex goals and actions with context-dependent effects Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1, (240-245)
- Raskutti B and Zukerman I Handling uncertainty during plan recognition in task-oriented consultation systems Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence, (308-315)
- Benjamin P, Cameron A, Dorst L, Rosar M and Wu H (1991). Integrating perception with problem solving, ACM SIGART Bulletin, 2:4, (41-45), Online publication date: 1-Jul-1991.
- Lochbaum K An algorithm for plan recognition in collaborative discourse Proceedings of the 29th annual meeting on Association for Computational Linguistics, (33-38)
- Paul D Experience with a stack decoder-based HMM CSR and back-OFF N-gram language models Proceedings of the workshop on Speech and Natural Language, (284-288)
- Campanale L, De Blasi M, Gentile A and Greco F Topologies for the parallel backtracking Prolog engine Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture, (237-242)
- Murray W A blackboard-based dynamic instructional planner Proceedings of the eighth National conference on Artificial intelligence - Volume 1, (434-441)
- Wellman M The STRIPS assumption for planning under uncertainty Proceedings of the eighth National conference on Artificial intelligence - Volume 1, (198-203)
- Paul D Algorithms for an optimal A search and linearizing the search in the stack decoder Proceedings of the workshop on Speech and Natural Language, (200-203)
- Soong F and Huang E A tree-trellis based fast search for finding the N Best sentence hypotheses in continuous speech recognition Proceedings of the workshop on Speech and Natural Language, (12-19)
- Green N Normal state implicature Proceedings of the 28th annual meeting on Association for Computational Linguistics, (89-96)
- Hendler J, Tate A and Drummond M (1990). AI Planning, AI Magazine, 11:2, (61-77), Online publication date: 1-Jun-1990.
- Burton F Indeterminate behavior with determinate semantics in parallel programs Proceedings of the fourth international conference on Functional programming languages and computer architecture, (340-346)
- Paul D A CSR-NL interface specification version 1.5 Proceedings of the workshop on Speech and Natural Language, (203-214)
- Young S, Ward W and Hauptmann A Layering predictions Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2, (1543-1549)
- Rao A and Foo N Minimal change and maximal coherence Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2, (966-971)
- Kambhampati S and Hendler J Control of refitting during plan reuse Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2, (943-948)
- Digricoli V, Lu J and Subrahmanian V And-Or graphs applied to RUE resolution Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1, (354-358)
- Sitaram M, Ernst G and Marcuse J Knowledge based system to diagnose faults in discrete event systems Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1, (171-177)
- Carberry S (1989). A pragmatics-based approach to ellipsis resolution, Computational Linguistics, 15:2, (75-96), Online publication date: 1-Jun-1989.
- Murray W (1989). Control for Intelligent Tutoring Systems, AI Communications, 2:2, (41-57), Online publication date: 1-Apr-1989.
- Young S The MINDS system: using context and dialog to enhance speech Proceedings of the workshop on Speech and Natural Language, (131-136)
- Quilici A, Dyer M and Flowers M (1988). Recognizing and responding to plan-oriented misconceptions, Computational Linguistics, 14:3, (38-51), Online publication date: 1-Sep-1988.
- Carberry S (1988). Modeling the user's plans and goals, Computational Linguistics, 14:3, (23-37), Online publication date: 1-Sep-1988.
- Werner E Toward a theory of communication and cooperation for multiagent planning Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge, (129-143)
- Hsu Y, Pan Y and Kubitz W A path selection global touter Proceedings of the 24th ACM/IEEE Design Automation Conference, (641-644)
- D'Orta P, Ferretti M, Martelli A and Scarci S An automatic speech recognition system for the Italian language Proceedings of the third conference on European chapter of the Association for Computational Linguistics, (80-83)
- Mohammed J and Simmons R Qualitative simulation of semiconductor fabrication Proceedings of the Fifth AAAI National Conference on Artificial Intelligence, (794-799)
- Lozinskii E (1986). A problem-oriented inferential database system, ACM Transactions on Database Systems, 11:3, (323-356), Online publication date: 1-Aug-1986.
- Pollack M A model of plan inference that distinguishes between the beliefs of actors and observers Proceedings of the 24th annual meeting on Association for Computational Linguistics, (207-214)
- Guha S and Sen A (1986). On Fault-Tolerant Distributor Communication Architecture, IEEE Transactions on Computers, 35:3, (281-283), Online publication date: 1-Mar-1986.
- Martin H Polynomial evaluations of bi-valued game trees Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (319-326)
- Davis H, Pollack R and Golden D A technique for comparing search algorithm run-times Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (301-308)
- Hall R and Kibler D (1985). Differing Methodological Perspectives in Artificial Intelligence Research, AI Magazine, 6:3, (166-178), Online publication date: 1-Sep-1985.
- Mahadevan S Verification-based learning Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1, (616-623)
- Georgeff M, Lansky A and Bessiere P A procedural logic Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1, (516-523)
- Lozinskii E Evaluating queries in deductive databases by generating Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1, (173-177)
- Maziar S (1985). Solution of the Tower of Hanoi problem using a binary tree, ACM SIGPLAN Notices, 20:5, (16-20), Online publication date: 1-May-1985.
- Ponder C and Patt Y Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures Proceedings of the 17th annual workshop on Microprogramming, (192-203)
- Ponder C and Patt Y (1984). Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures, ACM SIGMICRO Newsletter, 15:4, (192-203), Online publication date: 1-Dec-1984.
- Kung D A Temporal Framework for Database Specification and Verification Proceedings of the 10th International Conference on Very Large Data Bases, (91-99)
- Palczewski M Performance of algorithms for initial placement Proceedings of the 21st Design Automation Conference, (399-404)
- Clow G A global routing algorithm for general cells Proceedings of the 21st Design Automation Conference, (45-51)
- Krumm H and Drobnik O Interactive verification of communication software on the basis of CIL Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium, (92-99)
- Krumm H and Drobnik O (1984). Interactive verification of communication software on the basis of CIL, ACM SIGCOMM Computer Communication Review, 14:2, (92-99), Online publication date: 1-Jun-1984.
- Lai T and Sahni S (1984). Anomalies in parallel branch-and-bound algorithms, Communications of the ACM, 27:6, (594-602), Online publication date: 1-Jun-1984.
- Rendell L (1983). Toward a Unified Approach for Conceptual Knowledge Acquisition, AI Magazine, 4:4, (19-27), Online publication date: 1-Dec-1983.
- Pearl J (1983). On the Discovery and Generation of Certain Heuristics, AI Magazine, 4:1, (23-33), Online publication date: 1-Dec-1983.
- Olivé A (1983). Information derivability analysis in logical information systems, Communications of the ACM, 26:11, (933-938), Online publication date: 1-Nov-1983.
- Allen J (1983). Maintaining knowledge about temporal intervals, Communications of the ACM, 26:11, (832-843), Online publication date: 1-Nov-1983.
- Gini M and Gini G Towards automatic error recovery in robot programs Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2, (821-823)
- Brooks R and Lozano-Perez T A subdivision algorithm in configuration space for findpath with rotation Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2, (799-806)
- Allen J and Koomen J Planning using a temporal world model Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2, (741-747)
- Torku K and Huey B Petri Net based search directing heuristics for test generation Proceedings of the 20th Design Automation Conference, (323-330)
- Ernst G and Banerji R (1983). ON THE RELATIONSHIP BETWEEN STRONG AND WEAK PROBLEM SOLVERS, AI Magazine, 4:2, (25-29), Online publication date: 1-Jun-1983.
- Ishizuka M (1983). Inference methods based on extended dempster & Shafer’s theory for problems with uncertainty/fuzziness, New Generation Computing, 1:2, (159-168), Online publication date: 1-Jun-1983.
- Vegdahl S (1982). Phase coupling and constant generation in an optimizing microcode compiler, ACM SIGMICRO Newsletter, 13:4, (125-133), Online publication date: 1-Dec-1982.
- Vegdahl S Phase coupling and constant generation in an optimizing microcode compiler Proceedings of the 15th annual workshop on Microprogramming, (125-133)
- Rao T (1982). An algorithm to play the game of mastermind, ACM SIGART Bulletin:82, (19-23), Online publication date: 1-Oct-1982.
- Wise M A parallel Prolog Proceedings of the 1982 ACM symposium on LISP and functional programming, (56-66)
- Krumme D and Ackley D A practical method for code generation based on exhaustive search Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (185-196)
- Krumme D and Ackley D (1982). A practical method for code generation based on exhaustive search, ACM SIGPLAN Notices, 17:6, (185-196), Online publication date: 1-Jun-1982.
- Roussopoulos N (1982). View indexing in relational databases, ACM Transactions on Database Systems, 7:2, (258-290), Online publication date: 1-Jun-1982.
- Navlakha J 4×4 Tac-Tix is a second person game Proceedings of the 20th annual Southeast regional conference, (35-46)
- Evans D A situation semantics approach to the analysis of speech acts Proceedings of the 19th annual meeting on Association for Computational Linguistics, (113-116)
- Gardner A (1981). Search, AI Magazine, 2:1, (2-23), Online publication date: 1-Jun-1981.
- Price C The assignment of computational tasks among processors in a distributed system Proceedings of the May 4-7, 1981, national computer conference, (291-296)
- Wah B and Ma Y The architecture of MANIP Proceedings of the May 4-7, 1981, national computer conference, (149-161)
- Goel P (1981). An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits, IEEE Transactions on Computers, 30:3, (215-222), Online publication date: 1-Mar-1981.
- dos Santos C, Furtado A, de Castilho J and de Carvalho S (1980). Towards constructive axiomatic specifications, ACM SIGMOD Record, 11:2, (183-185), Online publication date: 1-Feb-1981.
- Mylopoulos J (1980). An overview of Knowledge Representation, ACM SIGMOD Record, 11:2, (5-12), Online publication date: 1-Feb-1981.
- dos Santos C, Furtado A, de Castilho J and de Carvalho S (1980). Towards constructive axiomatic specifications, ACM SIGART Bulletin:74, (183-185), Online publication date: 1-Jan-1981.
- Mylopoulos J (1980). An overview of Knowledge Representation, ACM SIGART Bulletin:74, (5-12), Online publication date: 1-Jan-1981.
- dos Santos C, Furtado A, de Castilho J and de Carvalho S (1980). Towards constructive axiomatic specifications, ACM SIGPLAN Notices, 16:1, (183-185), Online publication date: 1-Jan-1981.
- Mylopoulos J (1980). An overview of Knowledge Representation, ACM SIGPLAN Notices, 16:1, (5-12), Online publication date: 1-Jan-1981.
- Mueller R (1980). Formalization and automated synthesis of microprograms, ACM SIGMICRO Newsletter, 11:3-4, (45-53), Online publication date: 1-Dec-1980.
- Mueller R Formalization and automated synthesis of microprograms Proceedings of the 13th annual workshop on Microprogramming, (45-53)
- dos Santos C, Furtado A, de Castilho J and de Carvalho S Towards constructive axiomatic specifications Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, (183-185)
- Mylopoulos J An overview of Knowledge Representation Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, (5-12)
- Lozinskii E (1980). Construction of relations in relational databases, ACM Transactions on Database Systems, 5:2, (208-224), Online publication date: 1-Jun-1980.
- Doyle J and London P (1980). A selected descriptor-indexed bibliography to the literature on belief revision, ACM SIGART Bulletin:71, (7-22), Online publication date: 1-Apr-1980.
- Grosz B (1980). UTTERANCE AND OBJECTIVE, AI Magazine, 1:1, (11-20), Online publication date: 1-Jan-1980.
- Latombe J Failure processing in a system for designing complex assemblies Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1, (508-515)
- Klahr P Conditional answers in question-answering systems Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1, (481-483)
- Carbonell J The counterplanning process Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1, (124-130)
- Rhodes M An algorithmic approach to controlling search in three-dimensional image data Proceedings of the 6th annual conference on Computer graphics and interactive techniques, (134-142)
- Rhodes M (1979). An algorithmic approach to controlling search in three-dimensional image data, ACM SIGGRAPH Computer Graphics, 13:2, (134-142), Online publication date: 1-Aug-1979.
- Floyd R (1979). The paradigms of programming, Communications of the ACM, 22:8, (455-460), Online publication date: 1-Aug-1979.
- Denenberg S and Peelle H (1979). Teaching computer science with APL, ACM SIGAPL APL Quote Quad, 9:4-P1, (313-320), Online publication date: 1-Jun-1979.
- Denenberg S and Peelle H Teaching computer science with APL Proceedings of the international conference on APL: part 1, (313-320)
- Hyde D, Gay B and Utter D (1979). The integration of a Problem Solving Process in the first course, ACM SIGCSE Bulletin, 11:1, (54-59), Online publication date: 1-Feb-1979.
- Bowen K Prolog Proceedings of the 1979 annual conference, (14-23)
- Hyde D, Gay B and Utter D The integration of a Problem Solving Process in the first course Proceedings of the tenth SIGCSE technical symposium on Computer science education, (54-59)
- Davis P and Anderson J (2006). Nonanalytic Aspects of Mathematics and Their Implication for Research and Education, SIAM Review, 21:1, (112-127), Online publication date: 1-Jan-1979.
- Martelli A and Montanari U (1978). Optimizing decision trees through heuristically guided search, Communications of the ACM, 21:12, (1025-1039), Online publication date: 1-Dec-1978.
- Appelbe W and Ito M (1978). Scheduling Heuristics in a Multiprogramming Environment, IEEE Transactions on Computers, 27:7, (628-637), Online publication date: 1-Jul-1978.
- Huey B Guiding sensitization searches using problem reduction graphs Proceedings of the 15th Design Automation Conference, (312-320)
- Minker J (1978). Search strategy and selection function for an inferential relational system, ACM Transactions on Database Systems, 3:1, (1-31), Online publication date: 1-Mar-1978.
- Powell P and Thompson P Natural language and voice output for relational data base systems Proceedings of the 1978 annual conference - Volume 2, (585-595)
- Minker J (1977). Information storage and retrieval, ACM SIGIR Forum, 12:2, (12-108), Online publication date: 1-Sep-1977.
- Hayes-Roth F and McDormott J Knowledge acquisition from structural descriptions Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1, (356-362)
- Perrault C and Cohen P Overview of "Planning speech acts" Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1, (119-119)
- Tate A Generating project networks Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2, (888-893)
- McDermott D (1977). A deductive model of control of a problem solver, ACM SIGART Bulletin:63, (2-7), Online publication date: 1-Jun-1977.
- Hanani M (1977). An optimal evaluation of Boolean expressions in an online query system, Communications of the ACM, 20:5, (344-347), Online publication date: 1-May-1977.
- Hill F and Huey B (1977). SCIRTSS, IEEE Transactions on Computers, 26:5, (490-502), Online publication date: 1-May-1977.
- Lee R, Slagle J and Blum H (1977). A Triangulation Method for the Sequential Mapping of Points from N-Space to Two-Space, IEEE Transactions on Computers, 26:3, (288-292), Online publication date: 1-Mar-1977.
- Mandl C and Itzinger O (1977). Book reviews, International Journal of Game Theory, 6:1, (51-52), Online publication date: 1-Mar-1977.
- Valenti F and Vranesic Z Experiences with CHUTE Proceedings of the 1977 annual conference, (474-478)
- Akl S and Newborn M The principal continuation and the killer heuristic Proceedings of the 1977 annual conference, (466-473)
- Arbib M (1976). Artificial Intelligence, IEEE Transactions on Computers, 25:12, (1346-1352), Online publication date: 1-Dec-1976.
- Newborn M Reconsideration of a theorem on admissible ordered search algorithms Proceedings of the 1976 annual conference, (535-538)
- Wilson G and Minker J (1976). Resolution, Refinements, and Search Strategies, IEEE Transactions on Computers, 25:8, (782-801), Online publication date: 1-Aug-1976.
- Yelowitz L and Kandel A (1976). New Results and Techniques in Resolution Theory, IEEE Transactions on Computers, 25:7, (673-677), Online publication date: 1-Jul-1976.
- Vanderbrug G A geometric analysis of heuristic search Proceedings of the June 7-10, 1976, national computer conference and exposition, (979-986)
- Ballard D and Sklansky J (1976). A Ladder-Structured Decision Tree for Recognizing Tumors in Chest Radiographs, IEEE Transactions on Computers, 25:5, (503-513), Online publication date: 1-May-1976.
- Loveland D and Stickel M (1976). A Hole in Goal Trees, IEEE Transactions on Computers, 25:4, (335-341), Online publication date: 1-Apr-1976.
- Newell A and Simon H (1976). Computer science as empirical inquiry, Communications of the ACM, 19:3, (113-126), Online publication date: 1-Mar-1976.
- Kirbach J and Schmidt J (1976). On the uses of models in education, ACM SIGCUE Outlook, 10:SI, (212-222), Online publication date: 1-Feb-1976.
- Kirbach J and Schmidt J (1976). On the uses of models in education, ACM SIGCSE Bulletin, 8:1, (212-222), Online publication date: 1-Feb-1976.
- Kirbach J and Schmidt J On the uses of models in education Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education, (212-222)
- Martelli A (1976). An application of heuristic search methods to edge and contour detection, Communications of the ACM, 19:2, (73-83), Online publication date: 1-Feb-1976.
- Ullmann J (1976). An Algorithm for Subgraph Isomorphism, Journal of the ACM, 23:1, (31-42), Online publication date: 1-Jan-1976.
- Koontz W, Narendra P and Fukunaga K (1975). A Branch and Bound Clustering Algorithm, IEEE Transactions on Computers, 24:9, (908-915), Online publication date: 1-Sep-1975.
- Williams G (1975). Uniform Decomposition of Incompletely Specified Sequential Machines, IEEE Transactions on Computers, 24:8, (840-843), Online publication date: 1-Aug-1975.
- Fukunage K and Narendra P (1975). A Branch and Bound Algorithm for Computing k-Nearest Neighbors, IEEE Transactions on Computers, 24:7, (750-753), Online publication date: 1-Jul-1975.
- Rieger C The commonsense algorithm as a basis for computer models of human memory, inference, belief and contextual language comprehension Proceedings of the 1975 workshop on Theoretical issues in natural language processing, (180-195)
- Mommens J and Smith S Automatic generation of physical data base structures Proceedings of the 1975 ACM SIGMOD international conference on Management of data, (157-165)
- Minker J Performing inferences over relation data bases Proceedings of the 1975 ACM SIGMOD international conference on Management of data, (79-91)
- Pfefferkorn C (1975). A heuristic problem solving design system for equipment or furniture layouts, Communications of the ACM, 18:5, (286-297), Online publication date: 1-May-1975.
- VanderBrug G and Minker J (1975). State-space problem-reduction, and theorem proving—some relationships, Communications of the ACM, 18:2, (107-115), Online publication date: 1-Feb-1975.
- Bullock B Real world scene analysis in perspective Proceedings of the 1975 annual conference, (25-28)
- Sahni S (1974). Computationally Related Problems, SIAM Journal on Computing, 3:4, (262-279), Online publication date: 1-Dec-1974.
- Lee R and Chang S (1974). Structured programming and automatic program synthesis, ACM SIGPLAN Notices, 9:4, (60-70), Online publication date: 1-Apr-1974.
- Lee R, Waldinger R and Chang C (1974). An improved program-synthesizing algorithm and its correctness, Communications of the ACM, 17:4, (211-217), Online publication date: 1-Apr-1974.
- Havel I (1974). Automata theory motivated by problem solving, ACM SIGACT News, 6:2, (18-23), Online publication date: 1-Apr-1974.
- Lee R and Chang S Structured programming and automatic program synthesis Proceedings of the ACM SIGPLAN symposium on Very high level languages, (60-70)
- Tsiang P, Harlow C and Lodwick G The computer analysis of chest radiographs Proceedings of the 1974 annual ACM conference - Volume 2, (705-714)
- Wolf G Implementation of a dynamic tree searching algorithm in a chess programme Proceedings of the ACM annual conference, (206-208)
- Loveland D and Stickel M A hole in goal trees Proceedings of the 3rd international joint conference on Artificial intelligence, (153-161)
- Smith M (1973). A learning program which plays partnership dominoes, Communications of the ACM, 16:8, (462-467), Online publication date: 1-Aug-1973.
- Hall P (1973). Equivalence between AND/OR graphs and context-free grammars, Communications of the ACM, 16:7, (444-445), Online publication date: 1-Jul-1973.
- Kozdrowicki E and Cooper D (1973). COKO III, Communications of the ACM, 16:7, (411-427), Online publication date: 1-Jul-1973.
- Chang C, Lee R and Dixon J (1973). The Specialization of Programs by Theorem Proving, SIAM Journal on Computing, 2:1, (7-15), Online publication date: 1-Mar-1973.
- Hart P, Nilsson N and Raphael B (1972). Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths", ACM SIGART Bulletin:37, (28-29), Online publication date: 1-Dec-1972.
- Jacobs W Control systems in robots Proceedings of the ACM annual conference - Volume 1, (110-117)
- Banerji R and Ernst G Limitations in pattern recognition and problem solving Proceedings of the ACM annual conference - Volume 1, (28-38)
- Lee R (1972). Fuzzy Logic and the Resolution Principle, Journal of the ACM, 19:1, (109-119), Online publication date: 1-Jan-1972.
- Amarel S (1971). Computer science, Communications of the ACM, 14:6, (391-401), Online publication date: 1-Jun-1971.
Index Terms
- Problem-Solving Methods in Artificial Intelligence
Recommendations
Methods and standards for research on explainable artificial intelligence: Lessons from intelligent tutoring systems
AbstractThe DARPA Explainable Artificial Intelligence (AI) (XAI) Program focused on generating explanations for AI programs that use machine learning techniques. This article highlights progress during the DARPA Program (2017‐2021) relative to research ...
Lessons learned in the work on intelligent tutoring systems that apply to system design in Explainable AI. image image
Artificial intelligence
AbstractArtificial intelligence (AI) is the Science and Engineering domain concerned with the theory and practice of developing systems that exhibit the characteristics we associate with intelligence in human behavior. Starting with a brief history of ...