|
" Graph Structures for Knowledge Representation and Reasoning "
edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605334
|
| Doc. No
|
:
|
b434553
|
| Main Entry
|
:
|
Croitoru, Madalina
|
| Title & Author
|
:
|
Graph Structures for Knowledge Representation and Reasoning : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /\ edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
|
| Publication Statement
|
:
|
Berlin, Heidelberg :: Springer Berlin Heidelberg,, 2012
|
| Series Statement
|
:
|
Lecture Notes in Computer Science,; 7205
|
| ISBN
|
:
|
9783642294495
|
| Subject
|
:
|
Computer science
|
| Subject
|
:
|
Computer software
|
| Subject
|
:
|
Logic design
|
| Subject
|
:
|
Artificial intelligence
|
| Subject
|
:
|
Computer Science
|
| Subject
|
:
|
Artificial Intelligence (incl. Robotics)
|
| Subject
|
:
|
Mathematical Logic and Formal Languages
|
| Subject
|
:
|
Algorithm Analysis and Problem Complexity
|
| Subject
|
:
|
Logics and Meanings of Programs
|
| Subject
|
:
|
Programming Techniques
|
| Subject
|
:
|
Computation by Abstract Devices
|
| Added Entry
|
:
|
Rudolph, Sebastian
|
|
|
:
|
Wilson, Nic
|
|
|
:
|
Howse, John
|
|
|
:
|
Corby, Olivier
|
| Added Entry
|
:
|
SpringerLink (Online service)
|
| |