top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalit√† di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Validating and verifying of knowledge-based systems / [compiled by] Uma G. Gupta
Validating and verifying of knowledge-based systems / [compiled by] Uma G. Gupta
Estensione ix, 409p. : ill. ; 29 cm.
Disciplina 006.3/3
Accesso persona Gupta, Uma G.
ISBN 0818689951 (case)
0818659955 (microfiche)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9916216293503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Qualitative reasoning : modeling and simulation with incomplete knowledge / Benjamin Kuipers
Qualitative reasoning : modeling and simulation with incomplete knowledge / Benjamin Kuipers
Creatore [Kuipers, Benjamin]
Estensione xxix, 418 p. : ill. ; 24 cm.
Disciplina 006.3/3
ISBN 026211190X
9780262111904
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-003366858
[Kuipers, Benjamin]  
Materiale a stampa
Lo trovi qui: New York University
Expert systems : the user interface / edited by James A. Hendler
Expert systems : the user interface / edited by James A. Hendler
Estensione xii, 324 p. : ill. ; 24 cm.
Disciplina 006.3/3
Accesso persona Hendler, James A.
ISBN 0893914290
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-002975279
Materiale a stampa
Lo trovi qui: New York University
Information modelling and knowledge bases XIII [electronic resource] / edited by Hannu Kangassalo ... [et al.].
Information modelling and knowledge bases XIII [electronic resource] / edited by Hannu Kangassalo ... [et al.].
Estensione x, 427 p. : ill.
Disciplina 006.3/3
Accesso ente NetLibrary, Inc.
Genere/Forma Electronic books
ISBN 0585458669 (electronic bk.)
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-003753496
Risorse elettroniche
Lo trovi qui: Duke University
Agent-based hybrid intelligent systems : an agent-based framework for complex problem solving / Zili Zhang, Chengqi Zhang
Agent-based hybrid intelligent systems : an agent-based framework for complex problem solving / Zili Zhang, Chengqi Zhang
Creatore [Zhang, Zili (Senior lecturer)]
Estensione xiv, 196 p. : ill. ; 24 cm.
Disciplina 006.3/3
Accesso persona Zhang, Chengqi
ISBN 3540209085 (softcover : alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-003311220
[Zhang, Zili (Senior lecturer)]  
Materiale a stampa
Lo trovi qui: Duke University
Information modelling and knowledge bases XIII / edited by Hannu Kangassalo [and others]
Information modelling and knowledge bases XIII / edited by Hannu Kangassalo [and others]
Estensione 1 online resource (x, 427 pages) : illustrations.
Disciplina 006.3/3
Genere/Forma Electronic books
ISBN 0585458669
9780585458663
1601294344
9781601294340
1280505400
9781280505409
9781586032340
1586032348
9784274905230
4274905233
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Title page; Preface; Conference Organisation; Contents; Topica Framework for Organizing and Accessing Intellectual Assets on Meme Media; On the Study of Data Modelling Languages using Chisholm's Ontology; Semantics and Conceptual Modelling -- Explicating the Semantics of Concept Diagrams; Enlarging the Capability of Information System -- Toward Autonomous Multi-Tasking Systems; Learning in Multi-agent Systems; A Logic of Ontology for Object Oriented Software Components; Provability of Relevant Logic ER; Implications of Standardisation Efforts for Business Process Modelling.
Record Nr. NYU-003161235
Materiale a stampa
Lo trovi qui: New York University
Specification and verification of multi-agent systems / Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
Specification and verification of multi-agent systems / Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
Estensione 1 online resource (xvii, 405 pages) : illustrations
Disciplina 006.3/3
Accesso persona Dastani, Mehdi
Hindriks, Koen V.
Meyer, John-Jules Ch.
Genere/Forma Electronic books
ISBN 9781441969842
1441969845
9781441969835
1441969837
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Using Theorem Proving to Verify Properties of Agent Programs -- The Refinement of Multi-Agent Systems -- Model Checking Agent Communication -- Directions for Agent Model Checking -- Model Checking Logics of Strategic Ability: Complexity -- Correctness of Multi-Agent Programs: A Hybrid Approach -- The Norm Implementation Problem in Normative Multi-Agent Systems -- A Verification Logic for Goal Agents -- Using the Maude Term Rewriting Language for Agent Development with Formal Foundations -- The Cognitive Agents Specification Language and Verification Environment -- A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems -- Assurance of Agent Systems: What Role Should Formal Verification Play? -- References.
Record Nr. NYU-004363726
Materiale a stampa
Lo trovi qui: New York University
Advances in practical applications of agents and multiagent systems : 8th International Conference on the Practical Applications of Intelligent Agents and Multi-Agent Systems (PAAMS 2010) / Yves Demazeau [and others] (eds.).
Advances in practical applications of agents and multiagent systems : 8th International Conference on the Practical Applications of Intelligent Agents and Multi-Agent Systems (PAAMS 2010) / Yves Demazeau [and others] (eds.).
Creatore [International Conference on the Practical Application of Intelligent Agents and Multi-Agent Systems (8th : 2010 : University of Salamanca, Spain)]
Estensione 1 online resource (xiv, 292 pages) : figure, table.
Disciplina 006.3/3
Accesso persona Demazeau, Yves
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642123849
3642123848
Classificazione TP31-532
TP18-532
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004363865
[International Conference on the Practical Application of Intelligent Agents and Multi-Agent Systems (8th : 2010 : University of Salamanca, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Fuzzy information and engineering 2010. Volume 1 [electronic resource] / Bing-yuan Cao [and others] (Eds.).
Fuzzy information and engineering 2010. Volume 1 [electronic resource] / Bing-yuan Cao [and others] (Eds.).
Creatore [Conference on Fuzzy Information and Engineering (5th : 2010 : Huludao Shi, China)]
Estensione 1 online resource (xvi, 813 pages).
Disciplina 006.3/3
Accesso persona Cao, Bing-Yuan
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642148804
3642148808
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004365125
[Conference on Fuzzy Information and Engineering (5th : 2010 : Huludao Shi, China)]  
Materiale a stampa
Lo trovi qui: New York University
Advances on practical applications of agents and multiagent systems [electronic resource] : 9th International Conference on Practical Applications of Agents and Multiagent Systems / Yves Demazeau [and others] (Eds.).
Advances on practical applications of agents and multiagent systems [electronic resource] : 9th International Conference on Practical Applications of Agents and Multiagent Systems / Yves Demazeau [and others] (Eds.).
Creatore [International Conference on Practical Applications of Agents and Multiagent Systems (9th : 2011 : Salamanca, Spain)]
Estensione 1 online resource (xv, 318 pages).
Disciplina 006.3/3
Accesso persona Demazeau, Yves
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642198755
3642198759
9783642198748
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004368945
[International Conference on Practical Applications of Agents and Multiagent Systems (9th : 2011 : Salamanca, Spain)]  
Materiale a stampa
Lo trovi qui: New York University