| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000008105 |
|
|
Autore |
Crist, B. Vincent |
|
|
Titolo |
Semiconductors / B. Vincent Crist (3) |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
<<John>> Wiley |
|
Chichester...[etc.], c2000 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XXVIII, 539 p. : ill. ; 22x27 cm. |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISOBSOBE00032601 |
|
|
Autore |
Jannucci, Giovan Battista Maria |
|
|
Titolo |
Economia del commercio del Regno di Napoli / Giovan Battista Maria Jannucci ; a cura di Franca Assante |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
In testa al front.: Università degli studi di Napoli |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996466362203316 |
|
|
Titolo |
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 155 p. 48 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 9501 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Mathematical logic |
Application software |
Information storage and retrieval |
Computer communication systems |
Mathematical statistics |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
Information Systems Applications (incl. Internet) |
Information Storage and Retrieval |
Computer Communication Networks |
Probability and Statistics in Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Designing a Knowledge Representation Tool for Subject Matter Structuring -- Aligning Experientially Grounded Ontologies using Language Games -- An overview of argumentation frameworks for decision support -- Learning Optimal Bayesian Networks with DAG Graphs -- Combinatorial results on directed hypergraphs for the SAT problem -- Conceptual Graphs for Formally Managing and Discovering Complementary Competences -- Subjective Networks: Perspectives and Challenges -- RDF-SQ: Mixing Parallel and Sequential Computation For |
|
|
|
|
|
|
|
|
|
|
|
Top-down OWL RL Inference -- Bring User Interest to Related Entity Recommendation. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected from 10 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques. They address the following topics: argumentation; conceptual graphs; RDF; and representations of constraint satisfaction problems. |
|
|
|
|
|
|
|
| |