Pascal and Francis Bibliographic Databases

Help

Search results

Your search

ti.\*:("Declarative agent languages and technologies IV (4th International workshop, DALT 2006, Hakodate, Japan, May 8, 2006)")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 17 of 17

  • Page / 1
Export

Selection :

  • and

Declarative agent languages and technologies IV (4th International workshop, DALT 2006, Hakodate, Japan, May 8, 2006)Baldoni, Matteo; Endriss, Ulle.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-68959-1, 1Vol, VIII-256 p, isbn 3-540-68959-1Conference Proceedings

Agreeing on defeasible commitmentsALFRED LETIA, Ioan; GROZA, Adrian.Lecture notes in computer science. 2006, pp 156-173, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

Towards theory translationDEJING DOU; MCDERMOTT, Drew.Lecture notes in computer science. 2006, pp 16-28, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 13 p.Conference Paper

JADL - : An agent description language for smart agentsKONNERTH, Thomas; HIRSCH, Benjamin; ALBAYRAK, Sahin et al.Lecture notes in computer science. 2006, pp 141-155, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 15 p.Conference Paper

A fibred tableau calculus for modal logics of agentsPADMANABHAN, Vineet; GOVERNATORI, Guido.Lecture notes in computer science. 2006, pp 105-122, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

Automating belief revision for agentspeakALECHINA, Natasha; BORDINI, Rafael H; HÜBNER, Jomi F et al.Lecture notes in computer science. 2006, pp 61-77, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 17 p.Conference Paper

The complexity of model checking concurrent programs against CTLK specificationsLOMUSCIO, Alessio; RAIMONDI, Franco.Lecture notes in computer science. 2006, pp 29-42, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 14 p.Conference Paper

When agents communicate hypotheses in critical situationsBOURGNE, Gauvain; MAUDET, Nicolas; PINSON, Suzanne et al.Lecture notes in computer science. 2006, pp 89-104, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 16 p.Conference Paper

A collaborative framework to realize virtual enterprises using 3APLNARAYANASAMY, Gobinath; CECIL, Joe; TRAN CAO SON et al.Lecture notes in computer science. 2006, pp 191-206, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 16 p.Conference Paper

A foundational ontology of organizations and rolesBOELLA, Guido; VAN DER TORRE, Leendert.Lecture notes in computer science. 2006, pp 78-88, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 11 p.Conference Paper

Plan generation and plan execution in agent programmingBIRNA VAN RIEMSDIJK, M; DASTANI, Mehdi.Lecture notes in computer science. 2006, pp 225-238, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 14 p.Conference Paper

A functional program for agents, actions, and deontic specificationsWYNER, Adam Zachary.Lecture notes in computer science. 2006, pp 239-256, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

A modeling framework for generic agent interaction protocolsGHISLAIN QUENUM, José; AKNINE, Samir; BRIOT, Jean-Pierre et al.Lecture notes in computer science. 2006, pp 207-224, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

Producing compliant interactions : Conformance, coverage, and interoperabilityCHOPRA, Amit K; SINGH, Munindar P.Lecture notes in computer science. 2006, pp 1-15, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 15 p.Conference Paper

A dynamic logic programming based system for agents with declarative goalsNIGAM, Vivek; LEITE, Joao.Lecture notes in computer science. 2006, pp 174-190, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 17 p.Conference Paper

Dynamic model checking for multi-agent systemsOSMAN, Nardine; ROBERTSON, David; WALTON, Christopher et al.Lecture notes in computer science. 2006, pp 43-60, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

Programming declarative goals using plan patternsHÜBNER, Jomi F; BORDINI, Rafael H; WOOLDRIDGE, Michael et al.Lecture notes in computer science. 2006, pp 123-140, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 18 p.Conference Paper

  • Page / 1