|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9125 occurrences of 4100 keywords
|
|
|
Results
Found 12713 publication records. Showing 12713 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Robert Willison |
Understanding the Offender/Environment Dynamic for Computer Crimes: Assessing the Feasibility of Applying Criminological Theory to the IS Security Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Alfredo Milani, Valentina Poggioni |
Action Reasoning with Uncertain Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV, pp. 563-573, 2004, Springer, 3-540-22060-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Artificial Intelligence, Planning, Fuzzy Sets, Problem Solving |
11 | Se-Jin Ji, Byung-Joo Kim, Jong-Hee Park |
An Agent-Architecture for Implementing a Virtual Inhabitant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM ![In: 10th International Multimedia Modeling Conference (MMM 2004), 5-7 January 2004, Brisbane, Australia, pp. 316-322, 2004, IEEE Computer Society, 0-7695-2084-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | David C. Han, K. Suzanne Barber |
Desire-Space Analysis and Action Selection for Multiple Dynamic Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers, pp. 249-264, 2004, Springer, 3-540-28060-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Georgios Nikolakis, George Fergadis, Dimitrios Tzovaras, Michael G. Strintzis |
A Mixed Reality Learning Environment for Geometry Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings, pp. 93-102, 2004, Springer, 3-540-21937-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa |
A Logical Model for Commitment and Argument Network for Agent Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 792-799, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Kyungeun Cho, Hyungje Cho, Kyhyun Um |
Human Action Recognition by Inference of Stochastic Regular Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings, pp. 388-396, 2004, Springer, 3-540-22570-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jun Zhou 0001, Walter F. Bischof, Terry Caelli |
Understanding Human-Computer Interactions in Map Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings, pp. 287-295, 2004, Springer, 3-540-22570-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | John R. Graham, Keith Decker, Michael Mersic |
DECAF - A Flexible Multi Agent System Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 7(1-2), pp. 7-27, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
DECAF, TÆMS, RETSINA, agent toolkits, multi-agent systems, infrastructure, agent architectures |
11 | Pierre E. Bonzon |
Conscious Behavior through Reflexive Dialogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 179-193, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen |
A Resource Based Framework for Planning and Replanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, pp. 247-253, 2003, IEEE Computer Society, 0-7695-1931-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Guy W. Mineau |
Representing and Enforcing Interaction Protocols in Multi-Agent Systems: an Approach Based on Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, pp. 261-267, 2003, IEEE Computer Society, 0-7695-1931-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasiewicz |
Formalizing Multi-Agent POMDP's in the context of network routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 301, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Dirk Ourston, Sara Matzner, William Stump, Bryan Hopkins |
Applications of Hidden Markov Models to Detecting Multi-Stage Network Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 334, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Coordinated Internet attacks, rare data, multi-stage network intrusions, partial data, Hidden Markov Models, noise |
11 | David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz |
Specifying and Verifying Hardware for Tamper-Resistant Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2003 IEEE Symposium on Security and Privacy (S&P 2003), 11-14 May 2003, Berkeley, CA, USA, pp. 166-, 2003, IEEE Computer Society, 0-7695-1940-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Keith Chan, Annie Chen, Zhi Cong Leo Liang, Amir Michail, Minh Hoai Nguyen, Nicholas Seow |
DRT: A Tool for Design Recovery of Interactive Graphical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 814-815, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Keith Chan, Zhi Cong Leo Liang, Amir Michail |
Design Recovery of Interactive Graphical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 114-124, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | José Martín Molina Espinosa, Jean Fanchon, Khalil Drira |
A Logical Model for Coordination Rule Classes in Collaborative Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria, pp. 65-70, 2003, IEEE Computer Society, 0-7695-1963-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Boris A. Galitsky, Rajesh Mysore Pampapathi |
Deductive and Inductive Reasoning for Processing the Claims of Unsatisfied Customers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 21-30, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Laura Giordano 0001, Alberto Martelli, Camilla Schwind |
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings, pp. 262-274, 2003, Springer, 3-540-20119-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Salem Benferhat, Fabien Autrel, Frédéric Cuppens |
Enhanced Correlation in an Intrusion Detection Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, pp. 157-170, 2003, Springer, 3-540-40797-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Haksun Li, Edmund H. Durfee, Kang G. Shin |
Multiagent planning for agents with internal execution resource constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 560-567, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
coordination infrastructures, coordination of multiple agents/activities, planning for agents, action selection |
11 | Mark O. Riedl, C. J. Saretto, Robert Michael Young |
Managing interaction between users and agents in a multi-agent storytelling environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 741-748, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
planning, computer games, interactive narrative, embodied agents |
11 | David R. Traum, Jeff Rickel, Jonathan Gratch, Stacy Marsella |
Negotiation over tasks in hybrid human-agent teams for simulation-based training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 441-448, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
negotiation, conversational agents, animated agents |
11 | Robert Headon, Rupert Curwen |
Movement Awareness for Ubiquitous Game Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 6(5/6), pp. 407-415, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Ground reaction force, Movement awareness, Ubiquitous games, Sentient computing, Floor sensor |
11 | Roy A. Ruddle, Justin C. D. Savage, Dylan M. Jones |
Symmetric and asymmetric action integration during cooperative object manipulation in virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 9(4), pp. 285-308, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
piano movers' problem, rules of interaction, Virtual environments, object manipulation |
11 | Mohamed G. Gouda |
Multiphase Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(2), pp. 201-208, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiphase recovery, periodic reset, spanning tree construction, convergence, self-stabilization, Computing system |
11 | John Pikoulas, William J. Buchanan, Mike Mannion, Kostas Triantafyllopoulos |
An Intelligent Agent Security Intrusion System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden, pp. 94-, 2002, IEEE Computer Society, 0-7695-1549-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | David Franklin, Jay Budzik, Kristian J. Hammond |
Plan-based interfaces: keeping track of user tasks and acting to cooperate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 7th International Conference on Intelligent User Interfaces, IUI 2002, San Francisco, California, USA, January 13-16, 2002, pp. 79-86, 2002, ACM, 1-58113-459-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
plan-based intelligent user interfaces, representation of activity, task recognition, perceptual user interfaces |
11 | Balachander Krishnamurthy, Craig E. Wills |
Improving web performance by client characterization driven server adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA, pp. 305-316, 2002, ACM, 1-58113-449-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
client characterization, client connectivity, server adaptation |
11 | Hisashi Miyamori |
Improving Accuracy in Behaviour Identification for Content-Based Retrieval by Using Audio and Video Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 826-830, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Kee-Eung Kim, Thomas L. Dean |
Solving Factored MDPs with Large Action Space Using Algebraic Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings, pp. 80-89, 2002, Springer, 3-540-44038-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Logic Programming for Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings, pp. 591, 2002, Springer, 3-540-44038-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Jens Meyer, Robert Adolph, Daniel Stephan, Andreas Daniel, Matthias Seekamp, Volker Weinert, Ubbo Visser |
Decision-Making and Tactical Behavior with Potential Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2002: Robot Soccer World Cup VI, pp. 304-311, 2002, Springer, 3-540-40666-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Dimitrios S. Nikolopoulos, Constantine D. Polychronopoulos |
Adaptive Scheduling under Memory Pressure on Multiprogrammed SMPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Jason Baker, Wilson C. Hsieh |
Maya: Multiple-Dispatch Syntax Extension in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 270-281, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java, generative programming, macros, metaprogramming |
11 | Birgit Möller 0001, Stefan Posch |
Analysis of Object Interactions in Dynamic Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAGM-Symposium ![In: Pattern Recognition, 24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002, Proceedings, pp. 361-369, 2002, Springer, 3-540-44209-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Minh Anh Thi Ho, Yoji Yamada, Yoji Umetani |
An HMM-based Temporal Difference Learning with Model-Updating Capability for Visual Tracking of Human Communicational Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGR ![In: 5th IEEE International Conference on Automatic Face and Gesture Recognition (FGR 2002), with CD-ROM, 20-21 May 2002, Washington, D.C., USA, pp. 170-175, 2002, IEEE Computer Society, 0-7695-1602-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
intended gestures, Model-update capability, Hidden Markov Models, Reinforcement Learning, Visual tracking |
11 | Xiaolin Feng, Pietro Perona |
Human Action Recognition By Sequence of Movelet Codewords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DPVT ![In: 1st International Symposium on 3D Data Processing Visualization and Transmission (3DPVT 2002), 19-21 June 2002, Padova, Italy, pp. 717-723, 2002, IEEE Computer Society, 0-7695-1521-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Meirav Hadad, Sarit Kraus |
Exchanging and Combining Temporal Information in a Cooperative Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIA ![In: Cooperative Information Agents VI, 6th International Workshop, CIA 2002, Madrid, Spain, September 18-20, 2002, Proceedings, pp. 279-286, 2002, Springer, 3-540-44173-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Riccardo Focardi, Carla Piazza, Sabina Rossi |
Proofs Methods for Bisimulation Based Information Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, pp. 16-31, 2002, Springer, 3-540-43631-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Norman I. Badler, Jan M. Allbeck, Liwei Zhao, Meeran Byun |
Representing and Parameterizing Agent Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 2002, CA 2002, Geneva, Switzerland, June 19-21, 2002, pp. 133-143, 2002, IEEE Computer Society, 0-7695-1594-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Toth, Christopher Krügel |
Evaluating the Impact of Automated Intrusion Response Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 18th Annual Computer Security Applications Conference (ACSAC 2002), 9-13 December 2002, Las Vegas, NV, USA, pp. 301-310, 2002, IEEE Computer Society, 0-7695-1828-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Martin Stolle, Doina Precup |
Learning Options in Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 212-223, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Marc Cavazza, Fred Charles, Steven J. Mead |
Interacting with virtual characters in interactive storytelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 318-325, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
planning, computer games, interactive storytelling, synthetic characters, speech understanding |
11 | Carlos H. C. Ribeiro, Renê Pegoraro, Anna Helena Reali Costa |
Experience generalization for concurrent reinforcement learners: the minimax-QS algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 1239-1245, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Markov games, Minimax-Q, experience generalization, reinforcement learning, robot soccer |
11 | Pinar Yolum, Munindar P. Singh |
Flexible protocol specification and execution: applying event calculus planning using commitments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 527-534, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
commitments, agent communication languages and protocols, methodologies and tools |
11 | Raymond Reiter |
On knowledge-based programming with sensing in the situation calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(4), pp. 433-457, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
dynamic closed-world assumption, sensing and knowledge, situation calculus programming languages, theorem-proving, situation calculus |
11 | Arend Rensink, Heike Wehrheim |
Process algebra with action dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(3), pp. 155-234, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | John Pikoulas, William J. Buchanan, Mike Mannion, Kostas Triantafyllopoulos |
An Agent-Based Bayesian Forecasting Model for Enhanced Network Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA, pp. 247-254, 2001, IEEE Computer Society, 0-7695-1086-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Mario Bravetti, Alessandro Aldini |
Expressing Processes with Different Action Durations through Probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, pp. 168-183, 2001, Springer, 3-540-42556-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | John E. Laird |
It knows what you're going to do: adding anticipation to a Quakebot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 385-392, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
computer games, anticipation, soar, quake |
11 | Glenn S. Wasson, James P. Gunderson, Sean Graves, Robin A. Felder |
An assistive robotic agent for pedestrian mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 169-173, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
smart walker, robotics, assistive technology, control systems |
11 | Gerald Lüttgen, Walter Vogler |
A Faster-than Relation for Asynchronous Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 262-276, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | James Bailey 0001, Alexandra Poulovassilis, Simon Courtenage |
Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers, pp. 300-317, 2001, Springer, 3-540-44080-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Pinar Yolum, Munindar P. Singh |
Commitment Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers, pp. 235-247, 2001, Springer, 3-540-43858-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jon Hindmarsh, Mike Fraser 0001, Christian Heath, Steve Benford, Chris Greenhalgh |
Object-focused interaction in collaborative virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 7(4), pp. 477-509, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
virtual reality, CSCW, user interface design, social interaction, objects, embodiment, shared spaces |
11 | Xiaoqin Zhang 0001, Anita Raja, Barbara Staudt Lerner, Victor R. Lesser, Leon J. Osterweil, Thomas Wagner 0001 |
Integrating High-Level and Detailed Agent Coordination into a Layered Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents Workshop on Infrastructure for Multi-Agent Systems ![In: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, International Workshop on Infrastructure for Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000, Revised Papers, pp. 72-79, 2000, Springer, 3-540-42315-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Anant Madabhushi, J. K. Aggarwal |
Using Head Movement to Recognize Activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 4698-4701, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Gabriela P. Henning |
Knowledge-Based Interactive Scheduling of Multiproduct Batch Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 76-85, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Marc S. Atkin, David L. Westbrook, Paul R. Cohen |
HAC: A Unified View of Reactive and Deliberative Activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems ![In: 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), pp. 92-110, 2000, Springer, 3-540-42327-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Carlo Ferrari, Francesco Garelli, Enrico Pagello |
PaSo-Team 2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2000: Robot Soccer World Cup IV, pp. 429-432, 2000, Springer, 3-540-42185-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Elisa Bertino, Piero A. Bonatti, Elena Ferrari |
TRBAC: a temporal role-based access control model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Workshop on Role-Based Access Control ![In: Fifth ACM Workshop on Role-Based Access Control, RBAC 2000, Berlin, Germany, July 26-27, 2000, pp. 21-30, 2000, ACM, 1-58113-259-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Hisashi Miyamori, Shun-ichi Iisaku |
Video Annotation for Content-based Retrieval using Human Behavior Analysis and Domain Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 4th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2000), 26-30 March 2000, Grenoble, France, pp. 320-325, 2000, IEEE Computer Society, 0-7695-0580-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
database, indexing, annotation, video, behavior analysis, content retrieval |
11 | Predrag Knezevic, Bozidar Radunovic, Nenad V. Nikolic, Tijana Jovanovic, Dusan Milanov, Miroslav Nikolic, Veljko M. Milutinovic, Steve Casselman, John Schewel |
The Architecture of the Obelix - An Improved Internet Search Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Riley 0001, Peter Stone, Manuela M. Veloso |
Layered Disclosure: Revealing Agents' Internals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings, pp. 61-72, 2000, Springer, 3-540-42422-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Fiora Pirri, Raymond Reiter |
Some Contributions to the Metatheory of the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 46(3), pp. 325-361, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
programming languages for the situation calculus, theorem-proving, regression, situation calculus |
11 | Paolo Terenziani, Paolo Raviola, Oscar Bruschi, Mauro Torchio, Marina Marzuoli, Gianpaolo Molino |
Representing Knowledge Levels in Clinical Guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMDM ![In: Artificial Intelligence in Medicine. Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 1999, Proceedings, pp. 254-260, 1999, Springer, 3-540-66162-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Claudio S. Pinhanez, Aaron F. Bobick |
Using Computer Vision to Control a Reactive Computer Graphics Character in a Theater Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, First International Conference, ICVS '99, Las Palmas, Gran Canaria, Spain, January 13-15, 1999, Proceedings, pp. 66-82, 1999, Springer, 3-540-65459-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Norihiro Ogata |
Formal Semantics of Acknowledgements, Agreements and Disagreements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Approaches to Intelligent Agents, Second Pacific Rim International Workshop on Multi-Agents, PRIMA '99, Kyoto, Japan, December 2-3, 1999, Proceedings, pp. 32-46, 1999, Springer, 3-540-66823-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Douglas M. Sycamore, James S. Collofello |
Using System Dynamics Modeling to Manage Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 213-217, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Project Tracking, Simulation, Software Engineering, Prototype, Software Development, Project Management, Tool, Process, System Dynamics, Project Planning, Incremental Development |
11 | Ian H. Witten, Zane Bray, Malika Mahoui, W. J. Teahan |
Text Mining: A New Frontier for Lossless Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 1999, Snowbird, Utah, USA, March 29-31, 1999., pp. 198-207, 1999, IEEE Computer Society, 0-7695-0096-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Mike Fraser 0001, Steve Benford, Jon Hindmarsh, Christian Heath |
Supporting Awareness and Interaction Through Collaborative Virtual Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 12th Annual ACM Symposium on User Interface Software and Technology, UIST 1999, Asheville, North Carolina, USA, November 7-10, 1999, pp. 27-36, 1999, ACM, 1-58113-075-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
action representation, peripheral lenses, user presentation, collaborative virtual environments |
11 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(9), pp. 26-76, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
11 | Teo Lian Seng, Marzuki Khalid, Rubiyah Yusof, Sigeru Omatu 0001 |
Adaptive Neuro-fuzzy Control System by RBF and GRNN Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 23(2-4), pp. 267-289, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
adaptive control system, generalized predictive control, general regression neural network, neuro-fuzzy controller |
11 | Hiroshi Kawakami, Osamu Katai, Tadataka Konishi |
A Reinforcement Learning with Condition Reduced Fuzz Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 198-205, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
reduced condition, interpolation, Q-learning, fuzzy rule |
11 | Kaoru Katayama, Osami Kagawa, Yasuhiro Kamiya, Hideki Tsushima, Takuya Yoshihiro, Yahiko Kambayashi |
Use of Action History Views for Indexing Continuous Media Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCP ![In: Advanced Multimedia Content Processing, First International Conference, AMCP '98, Osaka, Japan, November, 9-11, 1998, Proceedings, pp. 344-355, 1998, Springer, 3-540-65762-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Benjamin Kuipers |
A Hierarchy of Qualitative Representations for Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge, pp. 337-350, 1998, Springer, 3-540-64603-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jeffrey J. P. Tsai, Eric Y. T. Juan |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings, pp. 188-193, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | John-Jules Ch. Meyer, Patrick Doherty 0001 |
Preferential Action Semantics (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ModelAge Workshop ![In: Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers, pp. 187-201, 1997, Springer, 3-540-67027-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero |
TPAL: A Timed-Probabilistic Model for Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 475-484, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Pawel Jachowicz, Randy Goebel |
Describing Plan Recognition as Nonmonotonic Reasoning and Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings, pp. 236-245, 1997, Springer, 3-540-63797-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Alassane Cissé, Souleymane Ndiaye, Josette Link-Pezet |
Process Oriented Cooperative Work: An Emergent Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 342-347, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
CSCW, Process Modeling, Emergence, Cooperative Work, Situated Action, Autopoiesis |
11 | David N. Morley, Liz Sonenberg |
A Logic for Concurrent Events and Action Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 483-494, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Marco Bernardo 0001, Roberto Gorrieri |
Extended Markovian Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 315-330, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Michael Kaiser, Volker Klingspor, José del R. Millán, Marco Accame, Frank Wallner, Rüdiger Dillmann |
Using Machine Learning Techniques in Real-World Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 10(2), pp. 37-45, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Joost-Pieter Katoen |
Causal Behaviours and Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, pp. 258-277, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Liesbeth M. Dusink, Jan van Katwijk |
Reuse Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Proceedings of the ACM SIGSOFT Symposium on Software Reusability, SSR@ICSE 1995, April 23-30, 1995, Seattle, WA, USA, pp. 137-149, 1995, ACM, 0-89791-739-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Doherty 0001, Witold Lukaszewicz |
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 521-530, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Peter D. Mosses |
On the Action Semantics of Concurrent Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 398-424, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics |
11 | Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava |
Refining Interfaces of Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 297-312, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Paolo Bottoni, Marco Protti, Piero Mussio |
An APL Rule-Based System Architecture for Image Interpretation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1991, Palo Alto, CA, USA, August 4-8, 1991., pp. 51-61, 1991, ACM, 0-89791-441-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
APL |
11 | Jan Friso Groote |
A New Strategy for Proving omega-Completeness applied to Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 314-331, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Harvey J. Greenberg, R. M. Pengelly |
A Conceptual Basis for hte Role of the Micro-Computer in the Teaching/Learning of College Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 2nd International Conference, ICCAL '89, Dallas, Texas, USA, May 9-11, 1989, Proceedings, pp. 132-149, 1989, Springer, 3-540-51142-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Deepak Kumar |
An Integrated Model of Acting and Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNePS ![In: Current Trends in SNePS - Semantic Network Processing System, First Annual SNePS Workshop, Buffalo, NY, USA, November 13, 1989, Proceedings, pp. 55-65, 1989, Springer, 3-540-52626-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | E. Ravindran, S. L. Mehndiratta |
A Unified Framework for Characterising Logic Program Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBCS ![In: Knowledge Based Computer Systems, International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings, pp. 254-265, 1989, Springer, 3-540-52850-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Peter Wegner |
Granularity of modules in object-based concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 46-49, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Bruce Martin |
Concurrent programming vs. concurrency control: shared events or shared data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 142-144, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | David W. Cordes, Doris L. Carver |
Generating a requirements specifications knowledge-base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 727, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Rudy Hirschheim |
Understanding the Office: A Social-Analytic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 4(4), pp. 331-344, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
|
|