| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIORUON00179362 |
|
|
Autore |
CANEPA, Mario |
|
|
Titolo |
Manuale di diritto penitenziario : gli organi e le modalità di trattamento - la giurisdizione ed i controlli - le misure alternative - le pene sostitutive - le misure di sicurezza - le procedure nelle vicende di attuazione dl rapporto di e secuzione - gli interventi di servizio sociale e di polizia / Mario Canepa, Serg io Merlo ; presentazione di Giovanni Conso |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano, : Giuffré, 1987 - XV, 265 p. ; 21 cm. |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Soggetti |
|
Diritto penitenziario - Manuali |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484077503321 |
|
|
Titolo |
Graph Structures for Knowledge Representation and Reasoning : 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, , 2945-9141 ; ; 9501 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Machine theory |
Application software |
Information storage and retrieval systems |
Computer networks |
Computer science - Mathematics |
Mathematical statistics |
Artificial Intelligence |
Formal Languages and Automata Theory |
Computer and Information Systems Applications |
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. |
|
|
|
|
|
|
|
| |