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.
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XIII, 365 p. 67 illus.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Computer programming
Artificial Intelligence
Programming Techniques
ISBN 3-642-41524-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems -- The Parameterized Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based on Attribute Grammars into Java -- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks -- A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems -- Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach to Preferred Answer Sets -- Solving Modular Model Expansion: Case Studies -- FdCong: A Constraint-Based Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX-Programs with Nested Program Calls -- A prototype of a knowledge-based programming environment -- Computing with Logic as Operator Elimination: The ToyElim System -- Coprocessor - a Standalone SAT Preprocessor -- The SeaLion has Landed: An IDE for Answer-Set Programming Preliminary Report -- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs -- Unit Testing in ASPIDE.
Record Nr. UNISA-996465432803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XIII, 365 p. 67 illus.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Computer programming
Artificial Intelligence
Programming Techniques
ISBN 3-642-41524-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems -- The Parameterized Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based on Attribute Grammars into Java -- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks -- A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems -- Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach to Preferred Answer Sets -- Solving Modular Model Expansion: Case Studies -- FdCong: A Constraint-Based Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX-Programs with Nested Program Calls -- A prototype of a knowledge-based programming environment -- Computing with Logic as Operator Elimination: The ToyElim System -- Coprocessor - a Standalone SAT Preprocessor -- The SeaLion has Landed: An IDE for Answer-Set Programming Preliminary Report -- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs -- Unit Testing in ASPIDE.
Record Nr. UNINA-9910485037403321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Armin Wolf
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Armin Wolf
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (X, 253 p.)
Disciplina 005.13
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Programming languages (Electronic computers)
Artificial intelligence
Computer programming
Programming Languages, Compilers, Interpreters
Artificial Intelligence
Programming Techniques
ISBN 3-642-00675-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk -- A Guide for Manual Construction of Difference-List Procedures -- Constraints -- Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource -- Efficient Edge-Finding on Unary Resources with Optional Activities -- Encoding of Planning Problems and Their Optimizations in Linear Logic -- Constraint-Based Timetabling System for the German University in Cairo -- Databases and Data Mining -- Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications -- Relational Models for Tabling Logic Programs in a Database -- Integrating XQuery and Logic Programming -- Causal Subgroup Analysis for Detecting Confounding -- Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining -- Extensions of Logic Programming -- Integrating Temporal Annotations in a Modular Logic Language -- Visual Generalized Rule Programming Model for Prolog with Hybrid Operators -- The Kiel Curry System KiCS -- Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics -- Java Type Unification with Wildcards -- System Demonstrations -- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc??? -- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.
Record Nr. UNISA-996466020603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Applications of declarative programming and knowledge management : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers / / Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)
Applications of declarative programming and knowledge management : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers / / Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, : Springer, c2009
Descrizione fisica 1 online resource (X, 253 p.)
Disciplina 005.13
Altri autori (Persone) SeipelDietmar
HanusMichael
WolfArmin
Collana Lecture notes in computer science
Lecture notes in artifical intelligence
Soggetto topico Declarative programming
Computer programming
ISBN 3-642-00675-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk -- A Guide for Manual Construction of Difference-List Procedures -- Constraints -- Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource -- Efficient Edge-Finding on Unary Resources with Optional Activities -- Encoding of Planning Problems and Their Optimizations in Linear Logic -- Constraint-Based Timetabling System for the German University in Cairo -- Databases and Data Mining -- Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications -- Relational Models for Tabling Logic Programs in a Database -- Integrating XQuery and Logic Programming -- Causal Subgroup Analysis for Detecting Confounding -- Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining -- Extensions of Logic Programming -- Integrating Temporal Annotations in a Modular Logic Language -- Visual Generalized Rule Programming Model for Prolog with Hybrid Operators -- The Kiel Curry System KiCS -- Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics -- Java Type Unification with Wildcards -- System Demonstrations -- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc??? -- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.
Record Nr. UNINA-9910484562003321
Berlin, : Springer, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Declarative Programming for Knowledge Management [[electronic resource] ] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / / edited by Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata
Declarative Programming for Knowledge Management [[electronic resource] ] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / / edited by Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (X, 229 p.)
Disciplina 005.13/1
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Programming languages (Electronic computers)
Artificial intelligence
Computer programming
Programming Languages, Compilers, Interpreters
Artificial Intelligence
Programming Techniques
ISBN 3-540-69234-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP-Library for C++ -- Constraint Solving for Sequences in Software Validation and Verification -- Using a Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool in Prolog: An Overview -- Not-First and Not-Last Detection for Cumulative Scheduling in -- Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming -- Overload Checking for the Cumulative Constraint and Its Application -- Inductive Logic Programming: Yet Another Application of Logic -- Industrial Case Studies -- Railway Scheduling with Declarative Constraint Programming -- User Profiles and Matchmaking on Mobile Phones -- A Design Product Model for Mechanism Parts by Injection Molding -- A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method -- Business Integration -- An Overview of Agents in Knowledge Management -- ubiCMS – A Prolog Based Content Management System -- Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications -- A Meta-logical Approach for Multi-agent Communication of Semantic Web Information.
Record Nr. UNISA-996465988903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Légiférer dans la ville médiévale : « Faire bans, edictz et statuz » / / Jean-Marie Cauchies, Éric Bousmar
Légiférer dans la ville médiévale : « Faire bans, edictz et statuz » / / Jean-Marie Cauchies, Éric Bousmar
Autore Ammann-Doubliez Chantal
Pubbl/distr/stampa Bruxelles, : Presses de l’Université Saint-Louis, 2019
Descrizione fisica 1 online resource (700 p.)
Altri autori (Persone) AscheriMario
Asenjo GonzálezMaría
Batlle GallartCarmen
BooneMarc
BousmarEric
BrandHanno
Brochard-MontagnerClaire
CarlierMyriam
CauchiesJean-Marie
ChittoliniGiorgio
ClauzelDenis
Clauzel-DelannoyIsabelle
CoulonLaurent
DumontHugues
Falcon PerezIsabel
HamelSébastien
HaquetteBertrand
IsenmannEberhard
JacobsBeatrix C. M
JansenPhilippe
KammererOdile
Ladero QuesadaMiguel Ángel
MarchandisseAlain
Montagut i EstraguésTomàs de
PaulyMichel
Porras ArboledasPedro Andrés
RigaudièreAlbert
SchusterPeter
StabelPeter
TappyDenis
WolfArmin
YanteJean-Marie
BousmarÉric
Soggetto topico History
Medieval & Renaissance Studies
Moyen Âge
droit
législation
vie urbaine
Soggetto non controllato législation
Moyen Âge
vie urbaine
droit
ISBN 2-8028-0493-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNINA-9910324026603321
Ammann-Doubliez Chantal  
Bruxelles, : Presses de l’Université Saint-Louis, 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui