99-001
Martin Sköld
QDB - A Query Processor
for High Performance, Parallel Data Server NDB Cluster
[Abstract and Fulltext]
99-002
Lars Ahrenberg, Magnus
Merkel, Daniel Ridings, Anna Sågvall Hein, and Jörg Tiedemann
Automatic Processing
of Parallel Corpora: A Swedish Perspective
[Abstract and Fulltext]
99-003
Thomas Ginner (editor)
The PATT-Sweden 1996 Conference
[Abstract and Fulltext]
99-004
Camilla Schwind.
Causality in Action
Theories
[Abstract and Fulltext]
99-005
Stefan Cronholm, Pär J. Ågerfalk, and Göran Goldkuhl.
From Usability to
Actability
[Abstract and Fulltext]
99-006
Silvia Coradeschi, Tucker
Balch, Gerhard Kraetzschmar, and Peter Stone (editors)
RobocCup-99 Team
Descriptions. Small and Middle Leagues
[Abstract and Fulltext]
99-007
Silvia Coradeschi, Tucker
Balch, Gerhard Kraetzschmar, and Peter Stone (editors)
RobocCup-99 Team
Descriptions. Simulation League
[Abstract and Fulltext]
99-008
Thord Andersson, Silvia Coradeschi,
and Alessandro Saffiotti.
Fuzzy matching of
visual cues in an unmanned airborne vehicle
[Abstract and Fulltext]
99-009
Silvia Coradeschi and Alessandro
Saffiotti.
Anchoring symbolic
object descriptions to sensor data. Problem statement
[Abstract and Fulltext]
99-010
Murray Shanahan
A Logical Account
of the Common Sense Informatic Situation for a Mobile Robot
[Abstract and Fulltext]
99-011
Michael Thielscher.
Fluent Calculus Planning
with Continuous Change
[Abstract and Fulltext]
99-012
Tom Costello and John
McCarthy.
Useful Counterfactuals
[Abstract and Fulltext]
99-013
Erik Skarman
An aircraft model
[Abstract and Fulltext]
99-014
Erik Skarman
A helicopter model
[Abstract and Fulltext]
99-015
Erik Skarman
A helicopter control
system
[Abstract and Fulltext]
99-016
Rob Miller and Murray
Shanahan.
The Event-Calculus
in Classical Logic - Alternative Axiomatisations
[Abstract and Fulltext]
99-017
Patrick Doherty
The WITAS Integrated
Software System Architecture
[Abstract and Fulltext]
99-018
Knut Hartmann, Bernhard Preim, and Thomas Strothotte.
Describing Abstraction
in Rendered Images through Figure Captions
[Abstract and Fulltext]
99-019
Stefan Cronholm and Pär J. Ågerfalk
On the Concept of
Method in Information Systems Development
[Abstract and Fulltext]
99-020
Stéphane Tudoret.
Signal-Simulink:
Hybrid System Co-Simulation
[Abstract and Fulltext]
99-021
Masahiro Araki, Kazunori Komatani, Taishi Hirata, and Shuji Doshita.
A Dialogue Library
for Task-Oriented Spoken Dialogue Systems
[Abstract and Fulltext]
99-022
Maria Aretoulaki and Bernd Ludwig.
Automaton-Descriptions
and Theorem-Proving: A Marriage made in Heaven?
[Abstract and Fulltext]
99-023
Peter Bohlin, Robin Cooper, Elisabet Engdahl, and Staffan Larsson.
Information States
and Dialogues Move Engines
[Abstract and Fulltext]
99-024
Johan Boye, Mats Wirén, Manny Rayner, Ian Lewin, David Carter,
and Ralph Becket.
Language-Processing
Strategies and Mixed-Initiative Dialogues
[Abstract and Fulltext]
99-025
Matthias Denecke and Alex Waibel.
Integrating Knowledge
Sources for the Specification of a Task-Oriented Dialogue System
[Abstract and Fulltext]
99-026
Annika Flycht-Eriksson.
A Survey of Knowledge
Sources in Dialogue Systems
[Abstract and Fulltext]
99-027
Michael Kipp, Norbert Reithinger, and Jan Alexandersson.
Understanding Spontaneous
Negotiation Dialogue
[Abstract and Fulltext]
99-028
Anke Kölzer.
Universal Dialogue
Specification for Conversational Systems
[Abstract and Fulltext]
99-029
Richard McConachy and Ingrid Zukerman.
Dialogue Requirements
for Argumentation Systems
[Abstract and Fulltext]
99-030
Susan W. McRoy and Syed S. Ali.
A Practical, Declarative
Theory of Dialog
[Abstract and Fulltext]
99-031
Mark Seligman, Jan Alexandersson, and Kristiina Jokinen.
Tracking Morphological
and Semantic Co-occurrences in Spontaneous Dialogues
[Abstract and Fulltext]
99-032
David R. Traum and Carl F. Andersen.
Representations of
Dialogue State for Domain and Task Independent Meta-Dialogue
[Abstract and Fulltext]
99-033
Dorian Suc and Ivan Bratko.
Symbolic and qualitative
reconstruction of control skill
[Abstract and Fulltext]
99-034
Kevin Irwig and Wayne Wobcke.
Multi-Agent Reinforcement
Learning with Vicarious Rewards
[Abstract and Fulltext]
99-035
E.J. Briscoe.
The Acquisition of
Gramar in an Evolving Population of Language Agents
[Abstract and Fulltext]
99-036
James Cussens.
Integrating Probabilistic
and Logical Reasoning
[Abstract and Fulltext]
99-037
Alan M. Frisch.
Solving Constraint
Satisfaction Problems with NB-Resolution
[Abstract and Fulltext]
99-038
Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, and João P.
Martins.
Permissive Belief
Revision (preliminary report)
[Abstract and Fulltext]
99-039
Mikhail Prokopenko and Marc Butler.
Tactical Reasoning
in Synthetic Multi-Agent Systems: a Case Study
[Abstract and Fulltext]
99-040
Enrico Giunchiglia and Vladimir
Lifschitz.
Action Languages,
Temporal Action Logics and the Situation Calculus
[Abstract and Fulltext]
99-041
Fiora Pirri and Alberto Finzi.
An Approach to Perception
in Theory of Actions: Part I
[Abstract and Fulltext]
99-042
Eyal Amir.
Object-Oriented First-Order
Logic
[Abstract and Fulltext]
99-043
Giuseppe De Giacomo
and Riccardo Rosati.
Minimal Knowledge
Approach to Reasoning about Actions and Sensing
[Abstract and Fulltext] |