|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2980 occurrences of 1841 keywords
|
|
|
Results
Found 6156 publication records. Showing 6150 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Matthew J. Murrian, Collin W. Gonzalez, Todd E. Humphreys, Thomas David Novlan |
A dense reference network for mass-market centimeter-accurate positioning. |
PLANS |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Lianwu Guan, Yanbin Gao, Abdalla Osman, Umar Iqbal 0003, Michael J. Korenberg, Aboelmagd Noureldin |
Pipeline junction detection from accelerometer measurement using fast orthogonal search. |
PLANS |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Omer Can Dabak, Fatih Erdem, Tolga Sönmez, Lale Alatan, S. Sencer Koç |
Interference suppression in a GPS receiver with 4 element array design and implementation of beamforming algorithms. |
PLANS |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Mihnea Andrei, Xun Cheng, Sudipto Chowdhuri, Curtis Johnson, Edwin Seputis |
Ordering, distinctness, aggregation, partitioning and DQP optimization in sybase ASE 15. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
abstract plans, distinctness, eager aggregation, lazy aggregation, logical operators, logical properties, physical operators, property enforcement, optimization, search engine, aggregation, grouping, ordering, search space, operator model, physical properties |
24 | Toni Robertson, Lian Loke |
Designing situations. |
OZCHI |
2009 |
DBLP DOI BibTeX RDF |
Suchman, interactional resources, plans and situated actions, interaction design, design tool, situated action |
24 | Richard B. Scherl, Tran Cao Son, Chitta Baral |
State-Based Regression with Sensing and Knowledge. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
Plans, Regression, Knowledge, Sensing |
24 | Martin Bierbaumer, Johann Eder, Horst Pichler |
Accelerating Workflows with Fixed Date Constraints. |
ER |
2005 |
DBLP DOI BibTeX RDF |
time plans, process monitoring and tracking, Workflow management systems, time management |
24 | Yain-Whar Si, David Edmond, Arthur H. M. ter Hofstede, Marlon Dumas, Chan U. Chong |
Specification of Composite Trading Activities in Supply Chain Management. |
EEE |
2005 |
DBLP DOI BibTeX RDF |
trading activities, negotiation plans, supply chain management, negotiation protocols |
24 | Johann Eder, Horst Pichler, Wolfgang Gruber, Michael Ninaus |
Personal Schedules for Workflow Systems. |
Business Process Management |
2003 |
DBLP DOI BibTeX RDF |
time plans, personal scheduling, scheduling, temporal constraints, workflow system |
24 | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
Hierarchical GUI Test Case Generation Using Automated Planning. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
application of AI planning, GUI regression testing, generating alternative plans, Software testing, GUI testing, automated test case generation |
24 | Petter Gottschalk, Hans Solli-Sæther |
Integration between Business Planning and Information Systems Planning: An Analysis of Technology Exploration and Exploitation in Different Value Configurations. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Integration mechanisms, activity configurations, the role of IS/IT, exploration and exploitation, strategic IS/IT plans, content analysis |
24 | Stephan M. Kerpedjiev, Steven F. Roth |
Mapping communicative goals into conceptual tasks to generate graphics in discourse. |
IUI |
2000 |
DBLP DOI BibTeX RDF |
communicative plans, conceptual tasks, data graphic design |
24 | Goetz Graefe, Diane L. Davison |
Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
extensible database query execution, database application domains, high functionality, Volcano query execution engine, query processing operators, arbitrarily complex query evaluation plans, data manipulation operators, exchange operator, generalized exchange operator, database query processing software, bit vector filtering, parallel programming, parallelism, query processing, debugging, distributed databases, computer architectures, high performance, hierarchical architectures |
22 | Masanori Takagi, Haruka Ishikawa, Ichikawa Hisashi, Yasuhiko Morimoto |
Development and Evaluation of a Support System for Creating Learning Plans by Reflection on Past Learning Plans and Learning Situations. |
J. Inf. Process. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Anatolii D. Tsvirkun, Alexander F. Rezchikov, Vadim A. Kushnikov, Oleg I. Dranko, Aleksey S. Bogomolov, Aleksandr D. Selyutin |
Models and Methods for Checking the Attainability of Goals and Feasibility of Plans in Large-Scale Systems Using the Example of Goals and Plans for Elimination of the Consequences of Flood. |
Autom. Remote. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Cindy Becher |
Désambiguïsation de la visualisation et de la manipulation d'objets 3D virtuels occultés en Réalité Augmentée : application à un cas de gestion de plans de réseaux sensibles enterrés. (Disambiguation of visualization and manipulation of occluded virtual 3D objects in Augmented Reality : use case of sensitive buried network plans management). |
|
2021 |
RDF |
|
22 | Kevin Osanlou |
Learning off-road maneuver plans for autonomous vehicles. (Apprentissage de plans de manoeuvres off-road pour véhicules autonomes). |
|
2021 |
RDF |
|
22 | Sébastien Piedade |
Synthèse de plans conditionnels pour la décision dans l'incertain. (Conditional plans synthesis for decision with uncertainty). |
|
2021 |
RDF |
|
22 | Elli Papadopoulou, Alessia Bardi, George Kakaletris, Diamadis Tziotzios, Paolo Manghi, Natalia Manola |
Data Management Plans and Linked Open Data: exploiting machine actionable data management plans through Open Science Graphs. |
DaMaLOS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Claire Prudhomme |
Ingénierie de simulation multi-agents conduite par la connaissance pour évaluer l'efficacité des plans de gestion de catastrophes. (Knowledge-driven multi-agent simulation engineering for assessing the effectiveness of disaster management plans). |
|
2020 |
RDF |
|
22 | Hankz Hankui Zhuo |
Recognizing Multi-Agent Plans When Action Models and Team Plans Are Both Incomplete. |
ACM Trans. Intell. Syst. Technol. |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Christian Schlereth, Bernd Skiera, Fabian Schulz |
Why do consumers prefer static instead of dynamic pricing plans? An empirical study for a better understanding of the low preferences for time-variant pricing plans. |
Eur. J. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Fally Titikpina |
Optimisation des plans de mesure dans un contexte de garantie de performance énergétique des bâtiments : Caractérisation des incertitudes de mesure et propagation au sein de modèles dynamiques. (Measurement plans optimization in a context of buildings energy performance warranty : Measurement uncertainties caracterization and propagation within dynamic models). |
|
2016 |
RDF |
|
22 | Michal Knapik, Artur Niewiadomski 0001, Wojciech Penczek |
Generating None-Plans in Order to Find Plans. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Kahina Gani |
Using timed automata formalism for modeling and analyzing home care plans. (L'utilisation du formalisme des automates temporisés pour la modélisation et l'analyse des plans de soins à domicile). |
|
2015 |
RDF |
|
22 | Christer Bäckström, Anders Jonsson 0001, Peter Jonsson |
From Macro Plans to Automata Plans. |
ECAI |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Achraf Ghorbel |
Interprétation interactive de documents structurés : application à la rétroconversion de plans d'architecture manuscrits. (Interactive interpretation of structured documents: application to the retro-conversion of handwritten architectural plans). |
|
2012 |
RDF |
|
22 | Siddharth Srivastava 0001, Neil Immerman, Shlomo Zilberstein |
Merging example plans into generalized plans for non-deterministic environments. |
AAMAS |
2010 |
DBLP BibTeX RDF |
|
22 | Wei Huang 0026, Zhonghua Wen, Yunfei Jiang, Hong Peng |
Structured Plans and Observation Reduction for Plans with Contexts. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
22 | Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pier Francesco Palamara, Hugo Costelha |
Petri net plans: a formal model for representation and execution of multi-robot plans. |
AAMAS (1) |
2008 |
DBLP BibTeX RDF |
|
22 | Birgit Brigl, Elske Ammenwerth, Carl Dujat, Stefan Gräber, A. Große, Anke Häber, C. Jostes, Alfred Winter |
Preparing strategic information management plans for hospitals: a practical guideline: SIM plans for hospitals: a guideline. |
Int. J. Medical Informatics |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Cristiano Castelfranchi, Rino Falcone |
"To say and to do." Virtual actions in the structure and recognition of discourse plans with regard to practical plans. |
INTERACT |
1995 |
DBLP BibTeX RDF |
|
22 | Albert L. Lederer, Aubrey L. Mendelow |
Coordination of Information Systems Plans with Business Plans. |
J. Manag. Inf. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Jerry R. Hobbs, Michael Agar |
Text Plans and World Plans in Natural Discourse. |
IJCAI |
1981 |
DBLP BibTeX RDF |
|
22 | Aybar C. Acar, Amihai Motro |
Efficient discovery of join plans in schemaless data. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
dependency inference, join inference, schema matching |
22 | Justin J. Levandoski, Mohamed E. Khalefa, Mohamed F. Mokbel |
PermJoin: An Efficient Algorithm for Producing Early Results in Multi-join Query Plans. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Xia Zhanguo, Guan Hongjie, Wang Ke |
Research on Refining the Distributed Supply Chain Procurement Plans Based on CRL. |
ISIP |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Maryam Nooraee Abadeh, Kamran Zamanifar, Mohammad Reza Khayyambashi |
Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
Agent Plan, Multi-Agent System, Dependency, Colored Petri Nets, Coordination Mechanism |
22 | Dapeng Liu, Qing Wang 0001, Junchao Xiao, Juan Li 0001, Huaizhang Li |
RVSim: A Simulation Approach to Predict the Impact of Requirements Volatility on Software Project Plans. |
ICSP |
2008 |
DBLP DOI BibTeX RDF |
Requirements Dependency, Risk Management, Requirements Traceability, Software Process Simulation, Requirements Volatility |
22 | Takumi Kaneko, Yuichiro Nakamura, Michiko Anse, Tsutomu Tabe, Yumiko Taguchi |
A Method for Generating Plans for Retail Store Improvements Using Text Mining and Conjoint Analysis. |
HCI (9) |
2007 |
DBLP DOI BibTeX RDF |
Customer-satisfaction measurement, Definition Method, Store-improvement plan, Text Mining, Conjoint Analysis |
22 | Felipe Rech Meneguzzi, Michael Luck |
Composing High-Level Plans for Declarative Agent Programming. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Chien-Chih Yu |
Coordinating Returns Policies and Marketing Plans for Profit Optimization in E-Business Based on a Hybrid Data Mining Process. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Martin J. D'Cruz, Ranjan B. Kini |
The Effect of Information Asymmetry on Consumer Driven Health Plans. |
I3E (1) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Haruka Nakao, Shigeo Yoshikawa, Daniel Port, Yuko Miyamoto, Masafumi Katahira |
Comparing Model Generated with Expert Generated IV&V Activity Plans. |
ESEM |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Sumit Kumar Bose, Srikumar Krishnamoorthy, Nilesh Ranade |
Allocating Resources to Parallel Query Plans in Data Grids. |
GCC |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Martin Wehrle, Jussi Rintanen |
Planning as Satisfiability with Relaxed $-Step Plans. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Andrew Ireland, Jamie Stark |
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
partial order planning, deductive synthesis, program synthesis, proof planning |
22 | Samin Karim, Budhitama Subagdja, Liz Sonenberg |
Plans as Products of Learning. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Dietmar Pfahl, Ahmed Al-Emran, Günther Ruhe |
Simulation-Based Stability Analysis for Software Release Plans. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Freek Stulp, Michael Beetz |
Action awareness: enabling agents to optimize, transform, and coordinate plans. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
learning action models, plan optimization, computational model |
22 | Francis G. Pascual, Grace Montepiedra |
Lognormal and Weibull accelerated life test plans under distribution misspecification. |
IEEE Trans. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jan Ehrhoff, Sven Grothklags, Ulf Lorenz |
Parallelism for Perturbation Management and Robust Plans. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Bassam Baki, Maroua Bouzid, Antoni Ligeza |
Generating Low Cost Plans under Uncertainty and Temporal Constraints. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Abdelbaki Bouguerra, Lars Karlsson |
Synthesizing Plans for Multiple Domains. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Guido Boella, Leonardo Lesmo, Rossana Damiano |
On the Ontological Status of Plans and Norms. |
Artif. Intell. Law |
2004 |
DBLP DOI BibTeX RDF |
ontologies, planning, BDI agents, legal knowledge representation |
22 | Jung-Man Park, Jae-Kyoung Ryu, Deok-Han Kim, Keun-Tae Lee |
Plans for integration of KTF's legacy network management systems. |
NOMS (2) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Roberto Sebastian Legaspi, Raymund Sison, Masayuki Numao |
MSIP: Agents Embodying a Category-Based Learning Process for the ITS Tutor to Self-improve Its Instructional Plans. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Amal El Fallah Seghrouchni, Irene Degirmenciyan-Cartault, Frédéric Marc |
Modelling, Control and Validation of Multi-Agent Plans in Dynamic Context. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Ali Ajdari Rad, Navid Qaragozlou, Maryam Zaheri |
Scenario-Based Teamworking, How to Learn, Create, and Teach Complex Plans? |
RoboCup |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Albert C. Esterline |
Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Foto N. Afrati, Chen Li 0001, Jeffrey D. Ullman |
Generating Efficient Plans for Queries Using Views. |
SIGMOD Conference |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Sanjay Modgil, Peter Hammond |
Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans. |
AIME |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Chun-Nan Hsu, Craig A. Knoblock |
Semantic Query Optimization for Query Plans of Heterogeneous Multidatabase Systems. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
heterogeneous multidatabase systems, relational rules, information mediators, joins, Semantic query optimization |
22 | Dietrich Birngruber, Markus Hof |
Using Plans for Specifying Preconfigured Bean Sets. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
Compositional Patterns, Composition Automation, Components, JavaBeans |
22 | Wolfram Wöß |
Rule-Based Management of Routing Plans in CIM Systems. |
DEXA |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Wayne Wobcke |
The representation of plans in rational agent architectures. |
ANZIIS |
1996 |
DBLP DOI BibTeX RDF |
|
22 | G. Grdy, Ramesh S. Patil |
An Expert System for Screening Employee Pension Plans for the Internal Revenue Service. |
ICAIL |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Rajdeep Niyogi, Ramaswamy Ramanujam |
An Epistemic Logic for Planning with Trials. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn |
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Susan H. Rodger, Jenna Hayes, Gaetjens Lezin, Henry Qin, Deborah Nelson, Ruth Tucker, Mercedes Lopez, Stephen Cooper, Wanda P. Dann, Don Slater |
Engaging middle school teachers and students with alice in a diverse set of subjects. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
virtual worlds, alice, introductory computer science, middle school, k-12 education, under-represented groups |
22 | Venkatesh Raghavan, Yali Zhu, Elke A. Rundensteiner, Daniel J. Dougherty |
Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries. |
BNCOD |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Enrico Giunchiglia, Marco Maratea |
Improving Plan Quality in SAT-Based Planning. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
Multi-agent planning with confidentiality. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
|
22 | Lavindra de Silva, Sebastian Sardiña, Lin Padgham |
First principles planning in BDI systems. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
|
22 | Amol Deshpande, Lisa Hellerstein |
Flow Algorithms for Parallel Query Optimization. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith |
Automated Testing of Planning Models. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ya'akov Gal, Elif Yamangil, Stuart M. Shieber, Andee Rubin, Barbara J. Grosz |
Towards Collaborative Intelligent Tutors: Automated Recognition of Users' Strategies. |
Intelligent Tutoring Systems |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Stathis Kasderidis |
Organising the Complexity of Behaviour. |
ICANN (2) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Quanzhong Li 0002, Minglong Shao, Volker Markl, Kevin S. Beyer, Latha S. Colby, Guy M. Lohman |
Adaptively Reordering Joins during Query Execution. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer |
Goal Selection Strategies for Rational Agents. |
LADS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Janice G. El-Bayoumi |
Client services work planning. |
SIGUCCS |
2007 |
DBLP DOI BibTeX RDF |
mission, work alignment, work plan, goals |
22 | Yannis Dimopoulos, Pavlos Moraitis |
Multi-Agent Coordination and Cooperation through Classical Planning. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro |
Concurrency Among Strangers. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Roman van der Krogt, Mathijs de Weerdt |
Coordination Through Plan Repair. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Kun Wang, Zhonghai Yin, Feng Yuan, Lihua Zhou |
A Mathematical Approach to Disaster Recovery Planning. |
SKG |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Francis G. Pascual |
Optimal test planning for the fatigue-limit model when the fatigue-limit distribution is known. |
IEEE Trans. Reliab. |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Yali Zhu, Elke A. Rundensteiner, George T. Heineman |
Dynamic Plan Migration for Continuous Queries Over Data Streams. (PDF / PS) |
SIGMOD Conference |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä |
Parallel Encodings of Classical Planning as Satisfiability. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Andrew Bachmann, Tania Bedrax-Weiss, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor |
PLASMA: A Constraint Based Planning Architecture. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Luís Macedo, Amílcar Cardoso |
Using CBR in the Exploration of Unknown Environments with an Autonomous Agent. |
ECCBR |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Igor V. Kotenko |
Teamwork of Hackers-Agents: Modeling and Simulation of Coordinated Distributed Attacks on Computer Networks. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jihie Kim, Jim Blythe |
Supporting plan authoring and analysis. |
IUI |
2003 |
DBLP DOI BibTeX RDF |
plan analysis, plan authoring, knowledge acquisition, process models, knowledge bases |
22 | Marina Krol, D. Nelkin-Warantz, A. Auville |
Database-Controlled Document Management System for the Mt. Sinai Independent Practice Association. |
CBMS |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Dong Zhou, Santosh Pande, Karsten Schwan |
Method Partitioning - Runtime Customization of Pervasive Programs without Design-time Application Knowledge. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Eenjun Hwang, B. Prabhakaran 0001, V. S. Subrahmanian |
Presentation Planning for Distributed VoD Systems. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
Distributed VoD, presentation plan, optimal presentation, video server |
22 | Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen |
Modeling and verifying multi-agent behaviors using predicate/transition nets. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
verification, formal methods, petri nets, multiagent systems, predicate/transition nets |
22 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Logic Programming for Agents. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Jeroen Valk, Cees Witteveen |
Multi-agent Coordination in Planning. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Nicolas Bruno, Surajit Chaudhuri |
Exploiting statistics on query expressions for optimization. |
SIGMOD Conference |
2002 |
DBLP DOI BibTeX RDF |
Microsoft SQL Server |
22 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning under Action Costs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
|
|