|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 9 keywords
|
|
|
|
|
Results
Found 229 publication records. Showing 229 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peep Küngas, Mihhail Matskin |
Symbolic Negotiation with Linear Logic.  |
CLIMA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
A New HTN Planning Framework for Agents in Dynamic Environments. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bozena Wozna, Alessio Lomuscio |
A Logic for Knowledge, Correctness, and Real Time. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Satoh |
An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
An Abductive Framework for Information Exchange in Multi-agent Systems. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua |
Weighted Multi Dimensional Logic Programs. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Federico Banti, Antonio Brogi |
From Logic Programs Updates to Action Description Updates. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
Declarative Agent Control. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
Planning Partially for Situated Agents. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer |
Dynamic Logic for Plan Revision in Intelligent Agents. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher 0001, Chiara Ghidini, Benjamin Hirsch |
Programming Groups of Rational Agents. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Child, Kostas Stathis |
The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David C. Han, K. Suzanne Barber |
Desire-Space Analysis and Action Selection for Multiple Dynamic Goals. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander |
Maximal Introspection of Agents. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Torroni |
Logics and Multi-agents: towards a new symbolic model of cognition. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Schroeder 0001, Ralf Schweimeier |
Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Pavlos Moraitis |
Argumentative Agent Deliberation, Roles and Context. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harland, Michael Winikoff |
Language Design Issues for Agents based on Linear Logic (Extended Abstract). |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Koji Iwanuma, Katsumi Inoue |
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Álvaro F. Moreira |
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoyuki Nide, Shiro Takata, Tadashi Araragi |
Deduction Systems for BDI Logics with Mental State Consistency. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Speculative Computation and Action Execution in Multi-Agent Systems. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, João Alexandre Leite, Ken Satoh |
Preface. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiko Toyama, Takahiro Kojima, Yasuyoshi Inagaki |
Translating Multi-Agent Autoepistemic Logic into Logic Program. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira |
A Logic Based Asynchronous Multi-Agent System. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
A Language for Multi-dimensional Updates. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadashi Araragi, Shiro Takata, Naoyuki Nide |
A Verification Method for a Commitment Strategy of the BDI Architecture. |
CLIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, João Alexandre Leite, Ken Satoh (eds.) |
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002 |
CLIMA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ken Satoh, Fariba Sadri (eds.) |
CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000 |
CLIMA |
2000 |
DBLP BibTeX RDF |
|
Displaying result #201 - #229 of 229 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license