Search results for "Plans"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
68	Kari Rönkkö, Yvonne Dittrich, David W. Randall 0001	When Plans do not Work Out: How Plans are Used in Software Development Projects.	Comput. Support. Cooperative Work.	2005	DBLP DOI BibTeX RDF	due process, software engineering, plans, project management, articulation work
66	Christiane M. Differding	Reuse of Measurement Plans Based on Process and Quality Models.	LSO	2001	DBLP DOI BibTeX RDF
60	Snehal Thakkar, José Luis Ambite, Craig A. Knoblock	Composing, optimizing, and executing plans for bioinformatics web services.	VLDB J.	2005	DBLP DOI BibTeX RDF	Dataflow-style streaming execution, Data integration, Bioinformatics, Query optimization, Web service composition
56	Viviane Torres da Silva, Ricardo Choren, Carlos José Pereira de Lucena	Using the UML 2.0 activity diagram to model agent plans and actions.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent system, unified modeling language, plans, actions
55	Kohji Itoh, Eisuke Mihara, Kenji Hasegawa, Masahiro Fujii, Makoto Itami	Assisting Construction of Meta-cognitive Competence by Scaffolding Discovery of Plans in Problem-Solving.	KES (3)	2005	DBLP DOI BibTeX RDF
55	Richard L. Cole, Goetz Graefe	Optimization of Dynamic Query Evaluation Plans.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF
51	Budhitama Subagdja, Liz Sonenberg, Iyad Rahwan	Intentional learning agent architecture.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	BDI agent architecture, Machine learning, Plans, Autonomous agents, Abduction
49	Felipe Rech Meneguzzi, Michael Luck	Leveraging New Plans in AgentSpeak(PL).	DALT	2008	DBLP DOI BibTeX RDF
49	Barbara H. Roberts, David C. Brown	Using simulation techniques to improve skeletal plans for the control of a vertical internal grinding machine.	Annual Simulation Symposium	1989	DBLP DOI BibTeX RDF
49	Ahmad Ghazal, Dawit Yimam Seid, Ramesh Bhashyam, Alain Crolotte, Manjula Koppuravuri, Vinod G	Dynamic plan generation for parameterized queries.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	optimizations, compilation, dynamic
46	Aristomenis M. Macris, Dimitrios A. Georgakellos	A Business Plans Training Tool Based on the Semantic Web Principles.	WSKS (1)	2008	DBLP DOI BibTeX RDF	Business plans, Training tool, Ontology-based knowledge networks, Semantic web
46	David Isern, Antonio Moreno, Gianfranco Pedone, David Sánchez 0001, László Z. Varga	Home Care Personalisation with Individual Intervention Plans.	K4HelP	2008	DBLP DOI BibTeX RDF	intervention plans, ontologies, intelligent agents, ICT, Home Care
46	Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer	Agent programming in dribble: from beliefs to goals using plans.	AAMAS	2003	DBLP DOI BibTeX RDF	practical reasoning rule, intelligent agent, plans, agent-oriented programming, declarative goals
46	Alan Bundy	The Use of Explicit Plans to Guide Inductive Proofs.	CADE	1988	DBLP DOI BibTeX RDF	inductive proofs, formal methods, planning, theorem proving, automatic programming, Proof plans
44	Toshiharu Sugawara, Satoshi Kurihara, Toshio Hirotsu, Kensuke Fukuda, Toshihiro Takada	Conflict estimation of abstract plans for multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	coordination, planning, conflict resolution
44	Panagiotis G. Ipeirotis, Eugene Agichtein, Pranay Jain, Luis Gravano	Towards a query optimizer for text-centric tasks.	ACM Trans. Database Syst.	2007	DBLP DOI BibTeX RDF	text database selection, information extraction, distributed information retrieval, Metasearching, focused crawling
44	Toshiharu Sugawara, Satoshi Kurihara, Toshio Hirotsu, Kensuke Fukuda, Toshihiro Takada	Predicting possible conflicts in hierarchical planning for multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	learning, coordination, planning, cooperation
40	Nikos Zarboutis, Nicolas Marmaras	Searching efficient plans for emergency rescue through simulation: the case of a metro fire.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Metro systems, Emergency rescue plans, Agent-based simulation, Co-evolution, Complex adaptive systems
40	David A. Forsyth, Margaret M. Fleck	Body plans.	CVPR	1997	DBLP DOI BibTeX RDF	body plans, image color, uncontrolled test sets, diverse control sets, performance, computer vision, image segmentation, animals, object recognition, image recognition, image databases, content based retrieval, image representation, image representation, image texture, statistical learning, people, geometric properties
39	Glenn Munkvold, Gunnar Ellingsen, Eric Monteiro	From plans to planning: the case of nursing plans.	GROUP	2007	DBLP DOI BibTeX RDF	healthcare work, coordination, planning, cooperation, redundancy, informal, formal, nursing
38	Karl R. P. H. Leung, Wing Lok Yeung	Generating User Acceptance Test Plans from Test Cases.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
38	Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	Architecture-based testing using goals and plans.	ROSATEA	2006	DBLP DOI BibTeX RDF	architecture-based testing, goal-driven software development, specification-based testing
38	Robert R. Painter, David Coppit	A model for software plans.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
38	Qiang Yang 0001, Hong Cheng	Mining Plans for Customer-Class Transformation.	ICDM	2003	DBLP DOI BibTeX RDF
38	Michael Beetz, Thorsten Belker	Learning structured reactive navigation plans from executing MDP navigation policies.	Agents	2001	DBLP DOI BibTeX RDF
38	Pierre Laroche	Building efficient partial plans using Markov decision processes.	ICTAI	2000	DBLP DOI BibTeX RDF	efficient partial plan building, optimal action sequences, actuator uncertainties, goal state, uncertainty, planning, mobile robots, mobile robot, Markov processes, directed graphs, directed graph, path planning, Markov decision processes, decision theory, state space, uncertainty handling
38	Georg Scholz, Manuel Popp, Jan Ruppelt, Gert F. Trommer	Model independent control of a quadrotor with tiltable rotors: IEEE/ION PLANS 2016, April 11-14, Savannah, Georgia, United States of America.	PLANS	2016	DBLP DOI BibTeX RDF
38	Panagiotis G. Ipeirotis, Eugene Agichtein, Pranay Jain, Luis Gravano	To search or to crawl?: towards a query optimizer for text-centric tasks.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	information extraction, query optimization, research, metasearching, focused crawling, text databases
38	Qinming He, Jianfei Qian, Hua Chen, Fangzhong Qi	Software Planned Learning and Recognition Based on the Sequence Learning and NARX Memory Model of Neural Network.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
36	Klaus-Jürgen Quast	Plan recognition for context sensitive help.	IUI	1993	DBLP DOI BibTeX RDF	history of plan execution, modeling action plans, recognition of action plans, spreading activation inference, Excel, context sensitive help
36	Cristiano Galletti, Joaquim Aguirre-Plans, Baldo Oliva, Narcis Fernandez-Fuentes	Prediction of Adverse Drug Reaction Linked to Protein Targets Using Network-Based Information and Machine Learning.	Frontiers Bioinform.	2022	DBLP DOI BibTeX RDF
36	Joaquim Aguirre-Plans, Alberto Meseguer, Ruben Molina-Fernandez, Manuel Alejandro Marín-López, Gaurav Jumde, Kevin Casanova, Jaume Bonet, Oriol Fornes, Narcis Fernandez-Fuentes, Baldo Oliva	SPServer: split-statistical potentials for the analysis of protein structures and protein-protein interactions.	BMC Bioinform.	2021	DBLP DOI BibTeX RDF
36	Nikola Dolezalova, Angus B. Reed, Alex Despotovic, Bernard Dillon Obika, Davide Morelli, Mert Aral, David Plans	Development of an accessible 10-year Digital CArdioVAscular (DiCAVA) risk assessment: a UK Biobank study.	CoRR	2021	DBLP BibTeX RDF
36	Mohammad A. Dabbah, Angus B. Reed, Adam T. C. Booth, Arrash Yassaee, Alex Despotovic, Benjamin Klasmer, Emily Binning, Mert Aral, David Plans, Alain B. Labrique, Diwakar Mohan	Machine learning approach to dynamic risk modeling of mortality in COVID-19: a UK Biobank study.	CoRR	2021	DBLP BibTeX RDF
36	Davide Morelli, N. Dolezalova, S. Ponzo, Michele Colombo, David Plans	Development of digitally obtainable 10-year risk scores for depression and anxiety in the general population.	CoRR	2021	DBLP BibTeX RDF
36	Nikola Dolezalova, Massimo Cairo, Alex Despotovic, Adam T. C. Booth, Angus B. Reed, Davide Morelli, David Plans	Development of a dynamic type 2 diabetes risk prediction tool: a UK Biobank study.	CoRR	2021	DBLP BibTeX RDF
36	Louise V. Coutts, David Plans, Alan W. Brown, John P. Collomosse	Deep learning with wearable based heart rate variability for prediction of mental and general health.	J. Biomed. Informatics	2020	DBLP DOI BibTeX RDF
36	Georgios Meditskos, Pierre-Marie Plans, Thanos G. Stavropoulos, Jenny Benois-Pineau, Vincent Buso, Ioannis Kompatsiaris	Multi-modal activity recognition from egocentric vision, semantic enrichment and lifelogging applications for the care of dementia.	J. Vis. Commun. Image Represent.	2018	DBLP DOI BibTeX RDF
36	Davide Bacciu, Michele Colombo, Davide Morelli, David Plans	Randomized neural networks for preference learning with physiological data.	Neurocomputing	2018	DBLP DOI BibTeX RDF
36	Manuel Alejandro Marín-López, Joan Planas-Iglesias, Joaquim Aguirre-Plans, Jaume Bonet, Javier García-García 0002, Narcis Fernandez-Fuentes, Baldo Oliva	On the mechanisms of protein interactions: predicting their affinity from unbound tertiary structures.	Bioinform.	2018	DBLP DOI BibTeX RDF
36	Matteo Franceschi, Davide Morelli, David Plans, Alan W. Brown, John P. Collomosse, Louise V. Coutts, Laura Ricci	ComeHere: Exploiting Ethereum for Secure Sharing of Health-Care Data.	Euro-Par Workshops	2018	DBLP DOI BibTeX RDF
36	Davide Bacciu, Michele Colombo, Davide Morelli, David Plans	ELM Preference Learning for Physiological Data.	ESANN	2017	DBLP BibTeX RDF
36	Vincent Buso, Louise Hopper, Jenny Benois-Pineau, Pierre-Marie Plans, Rémi Mégret	Recognition of Activities of Daily Living in natural "at home" scenario for assessment of Alzheimer's disease patients.	ICME Workshops	2015	DBLP DOI BibTeX RDF
36	Taihang Bi, Rongrong Shen, Josep Plans, Huashi Zhao	A novel method for single phase-to-ground fault location based on wavelet analysis and correlation.	ISGT	2013	DBLP DOI BibTeX RDF
36	David Plans, Davide Morelli	Experience-Driven Procedural Music Generation for Games.	IEEE Trans. Comput. Intell. AI Games	2012	DBLP DOI BibTeX RDF
36	Albert Y. Chen, Feniosky Peña-Mora, Albert P. Plans, Saumil J. Mehta, Zeeshan Aziz	Supporting Urban Search and Rescue with digital assessments of structures and requests of response resources.	Adv. Eng. Informatics	2012	DBLP DOI BibTeX RDF
36	Albert Y. Chen, Feniosky Peña-Mora, Saumil J. Mehta, Stuart Foltz, Albert P. Plans, Brian R. Brauer, Scott Nacheman	Equipment Distribution for Structural Stabilization and Civilian Rescue.	Int. J. Inf. Syst. Crisis Response Manag.	2011	DBLP DOI BibTeX RDF
36	Feniosky Peña-Mora, Albert Y. Chen, Zeeshan Aziz, Lucio Soibelman, Liang Y. Liu, Khaled El-Rayes, Carlos A. Arboleda, Timothy S. Lantz, Albert P. Plans, Sanyogita Lakhera, Shobhit Mathur	Mobile Ad Hoc Network-Enabled Collaboration Framework Supporting Civil Engineering Emergency Response Operations.	J. Comput. Civ. Eng.	2010	DBLP DOI BibTeX RDF
36	Albert Y. Chen, Feniosky Peña-Mora, Saumil J. Mehta, Stuart Foltz, Albert P. Plans, Brian R. Brauer, Scott Nacheman	A GIS approach to equipment allocation for structural stabilization and civilian rescue.	ISCRAM	2010	DBLP BibTeX RDF
36	David Plans Casal	Decomposing Autumn: A Component-Wise Recomposition.	ICMC	2010	DBLP BibTeX RDF
36	David Plans Casal	Time after Time : Short-circuiting the Emotional Distance between Algorithm and Human Improvisors.	ICMC	2008	DBLP BibTeX RDF
36	David Plans, Davide Morelli	Remembering the Future : an Overview of Co-Evolution in Musical Improvisation.	ICMC	2007	DBLP BibTeX RDF
35	David Isern, Miquel Millan, Antonio Moreno, Gianfranco Pedone, László Z. Varga	Home Care Individual Intervention Plans in the K4Care Platform.	CBMS	2008	DBLP DOI BibTeX RDF	Guideline execution platform, Personalization of intervention plans, Multi-agent System
34	Jens Claußen, Alfons Kemper, Guido Moerkotte, Klaus Peithner, Michael Steinbrunn	Optimization and Evaluation of Disjunctive Queries.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	disjunctive queries, query evaluation plans, expensive query predicates, bypass processing, query processing, Query optimization
34	Salwa K. Abd-El-Hafiz	Evaluation of a Knowledge-Based Approach to Program Understanding.	WCRE	1996	DBLP DOI BibTeX RDF	first order predicate logic annotations, program loops, Pascal programs, system usability, knowledge based systems, plans, program understanding, knowledge-based approach
34	Jean Patrick Tsang	Planification par combinaison de plans : application à la génération de gammes d'usinage. (Planning by combining plans : application to the design of process plans).		1987	RDF
33	Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski	Modeling and Analyzing Disaster Recovery Plans as Business Processes.	SAFECOMP	2008	DBLP DOI BibTeX RDF
33	Slawomir Nowaczyk, Jacek Malec	Inductive Logic Programming Algorithm for Estimating Quality of Partial Plans.	MICAI	2007	DBLP DOI BibTeX RDF
33	Richard C. Simpson, Debra Schreckenghost, Edmund F. LoPresti, Ned Kirsch	Plans and Planning in Smart Homes.	Designing Smart Homes	2006	DBLP DOI BibTeX RDF
33	Ole Martin Winnem	Computer Generated Patient Plans Based on Patterns of Care.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
33	AnHai Doan, Alon Y. Halevy	Efficiently Ordering Query Plans for Data Integration.	ICDE	2002	DBLP DOI BibTeX RDF
33	Florian Waas, César A. Galindo-Legaria	Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
33	Lawrence Cavedon, Anand S. Rao	Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture.	PRICAI	1996	DBLP DOI BibTeX RDF
33	Matthias Amen	Modeling and Analyzing the IAS 19 System of Accounting for Unfunded Pensions.	OR	2007	DBLP DOI BibTeX RDF
33	Jörn Altmann, Lee Rhodes	Dynamic Netvalue Analyzer - A Pricing Plan Modeling Tool for ISPs Using Actual Network Usage Data.	WECWIS	2002	DBLP DOI BibTeX RDF
33	S. Au, J. Liang, N. Parameswaran	Plan Execution in a Hostile Dynamic Environment.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
33	Guy M. Lohman	Grammar-like Functional Rules for Representing Query Optimization Alternatives.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
29	Francis Real, David Riaño 0001	Automatic Combination of Formal Intervention Plans Using SDA* Representation Model.	K4CARE	2007	DBLP DOI BibTeX RDF	Formal Intervention Plans in Healthcare, Comorbidity treatment, Knowledge integration
29	Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini	Deriving test plans from architectural descriptions.	ICSE	2000	DBLP DOI BibTeX RDF	functional test plans, software achitectures, labelled transition systems, integration testing
29	Anisoara Nica, Elke A. Rundensteiner	DIIM: A Foundation for Translating Loosely-Specified Queries into Executable Plans in Large-Scale Information Systems.	CoopIS	1997	DBLP DOI BibTeX RDF	DIIM, loosely-specified query translation, executable plans, large-scale information systems, large-scale information spaces, semantical query planning, connected query rules, Dynamic Information Integration Model, query templates, World Wide Web, digital libraries, query processing, query processing, relational database, information sources, query interfaces, user queries
29	Mahsa Vahidi, Alex Orailoglu	Testability metrics for synthesis of self-testable designs and effective test plans.	VTS	1995	DBLP DOI BibTeX RDF	testability metrics, self-testable designs, effective test plans, unified metrics, synthesis phases, VLSI, VLSI, built-in self test, high level synthesis, high level synthesis, design for testability, BIST, DFT, logic CAD, integrated circuit design, benchmark designs
29	Faisal Ahmad, Sebastian de la Chica, Kirsten R. Butcher, Tamara Sumner, James H. Martin	Towards automatic conceptual personalization tools.	JCDL	2007	DBLP DOI BibTeX RDF	instructional plans, student misconceptions, digital libraries, personalization, knowledge maps, competency models
29	John Thangarajah, Lin Padgham, Michael Winikoff	Detecting & exploiting positive goal interaction in intelligent agents.	AAMAS	2003	DBLP DOI BibTeX RDF	co-ordinating plans, goal interactions, rational agents
29	Sandra Carberry	Techniques for Plan Recognition.	User Model. User Adapt. Interact.	2001	DBLP DOI BibTeX RDF	plan inference, plans, goals, intentions
29	Takahira Yamaguchi	Modeling Software Processes by using Process and Object Ontologies.	ASE	1997	DBLP DOI BibTeX RDF	object ontologies, software process plans, software processes, constraint satisfaction, computer aided software engineering, ontologies engineering, user queries, process ontology
29	Karl J. Lieberherr, Cun Xiao	Object-Oriented Software Evolution.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	object-oriented software evolution, propagation patterns, class dictionary graph, inheritance relationships, evolution histories, growth-plans, propagation-directive calculus, formal calculus, object-oriented programming, data models, submodels
29	Vilma M. Irizarry-Gaskins, Tien-Chien Chang	Knowledge-based process planning for electronic assembly.	J. Intell. Robotic Syst.	1990	DBLP DOI BibTeX RDF	Electronic assembly planning, knowledge representation, process plans
28	Hans-Albert Schneider	An Improvement of Deduction Plans: Refutation Plans.	CADE	1986	DBLP DOI BibTeX RDF
27	Maxim Kormilitsin, Rada Chirkova, Yahya Fathi, Matthias F. Stallmann	Systematic Exploration of Efficient Query Plans for Automated Database Restructuring.	ADBIS	2009	DBLP DOI BibTeX RDF
27	Aldo Gangemi	Norms and plans as unification criteria for social collectives.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Social relation, Ontology, Semantic web, Context, Multiagent system, Plan, Norm, Collective, Social agent, Intentionality, Knowledge community
27	Ke Xu, Hector Muñoz-Avila	CaBMA: a case-based reasoning system for capturing, refining, and reusing project plans.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Case-based reasoning, Project planning
27	Ken Ueno, Toshio Hayashi, Koichiro Iwata, Nobuyoshi Honda, Youichi Kitahara, Topon Kumar Paul	Prioritizing Health Promotion Plans with k-Bayesian Network Classifier.	ICMLA	2008	DBLP DOI BibTeX RDF
27	Pier Francesco Palamara, Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pedro U. Lima	Teamwork Design Based on Petri Net Plans.	RoboCup	2008	DBLP DOI BibTeX RDF
27	Weverton Luis da Costa Cordeiro, Guilherme Sperb Machado, Fabrício Girardi Andreis, Alan Diego dos Santos, Cristiano Bonato Both, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Claudio Bartolini, David Trastour	A Runtime Constraint-Aware Solution for Automated Refinement of IT Change Plans.	DSOM	2008	DBLP DOI BibTeX RDF
27	Ariel Felner, Roni Stern, Jeffrey S. Rosenschein, Alex Pomeransky	Searching for close alternative plans.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Scheduling, Shortest path, Rescheduling, Best-first search, Replanning
27	Mee-Jean Kim	A bibliometric analysis of the effectiveness of Korea's Biotechnology Stimulation Plans, with a comparison with four other Asian nations.	Scientometrics	2007	DBLP DOI BibTeX RDF
27	Ravindra Guravannavar, S. Sudarshan 0001	Reducing Order Enforcement Cost in Complex Query Plans.	ICDE	2007	DBLP DOI BibTeX RDF
27	Chi-Hyuck Jun, Saminathan Balamurali, Sang-Ho Lee	Variables sampling plans for Weibull distributed lifetimes under sudden death testing.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
27	Antonio Bicchi, Alessia Marigo, Benedetto Piccoli	Improving Efficiency of Finite Plans by Optimal Choice of Input Sets.	HSCC	2006	DBLP DOI BibTeX RDF
27	Wayne B. Nelson	A bibliography of accelerated test plans.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
27	Jonathan M. Stott, Peter Rodgers 0001, Remo Aslak Burkhard, Michael Meier 0003, Matthias Thomas Jelle Smis	Automatic Layout of Project Plans Using a Metro Map Metaphor.	IV	2005	DBLP DOI BibTeX RDF	metro map layout problem, Project planning, knowledge visualization, multicriteria optimization
27	Budhitama Subagdja, Liz Sonenberg	Learning Plans with Patterns of Actions in Bounded-Rational Agents.	KES (3)	2005	DBLP DOI BibTeX RDF
27	Luigi Lavazza, Giancarlo Barresi	Automated support for process-aware definition and execution of measurement plans.	ICSE	2005	DBLP DOI BibTeX RDF	goal/question/metrics (GQM), software metrics definition, software metrics, process modeling, software process measurement
27	Marcello Balduccini	USA-Smart: Improving the Quality of Plans in Answer Set Planning.	PADL	2004	DBLP DOI BibTeX RDF	Planning, preferences, answer set programming
27	Jun Wu 0010, Jian-Jia Chen, Chih-wen Hsueh, Tei-Wei Kuo	Scheduling of Query Execution Plans in Symmetric Multiprocessor Database Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
27	Hyggo Oliveira de Almeida, Leandro Dias da Silva, Angelo Perkusich, Evandro de Barros Costa	A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.	SELMAS	2004	DBLP DOI BibTeX RDF
27	Mehdi Dastani, Leendert W. N. van der Torre	Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans.	AAMAS	2004	DBLP DOI BibTeX RDF
27	António L. Furtado 0001, Angelo E. M. Ciarlini	Constructing Libraries of Typical Plans.	CAiSE	2001	DBLP DOI BibTeX RDF
27	Robert Kosara, Silvia Miksch	A User Interface for Executing Asbru Plans.	AIME	2001	DBLP DOI BibTeX RDF
27	Robert Kosara, Silvia Miksch	A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts.	TIME	2000	DBLP DOI BibTeX RDF	Time in problem solving, Information Visualization