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.
Correct Reasoning [[electronic resource] ] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
| Correct Reasoning [[electronic resource] ] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XI, 594 p. 41 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science Software engineering Computer programming Compilers (Computer programs) Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters |
| ISBN | 3-642-30743-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465562103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genre et économie solidaire, des croisements nécessaires / / Christine Verschuur, Isabelle Guérin, Isabelle Hillenkamp
| Genre et économie solidaire, des croisements nécessaires / / Christine Verschuur, Isabelle Guérin, Isabelle Hillenkamp |
| Autore | Anderson Jeanine |
| Pubbl/distr/stampa | Paris, Genève, : Graduate Institute Publications, 2019 |
| Descrizione fisica | 1 online resource (411 p.) |
| Altri autori (Persone) |
BeneríaLourdes
ChatterjeeMirai CherfemCarolina Orquiza Daune-RichardAnne-Marie DevreuxAnne-Marie EmeBernard ErdemEsra EsquivelValeria FedericiSilvia Fernández ÁlvarezMaria Inés FraserNancy FreirePaulo GaigerLuiz Inácio Gibson-GrahamJ. K GuérinIsabelle HillenkampIsabelle Jubeto RuizYolanda KabeerNaila Larrañaga SarriegiMertxe LavilleJean-Louis MilwardKirsty NelsonJulie A NobreMiriam ÖzselçukCeren Rodríguez GaravitoCésar Sousa SantosBoaventura de SudershanRatna TharaKaveri TillyLouise A VerschuurChristine Vieira FerrariniAdriane WanderleyFernanda WeinerAnnette B |
| Soggetto topico |
Social Sciences, Interdisciplinary
Sociology & Anthropology Women's Studies Economics (General) développement droits humains féminisme histoire économique mouvements alternatifs économie solidaire travail |
| Soggetto non controllato |
développement
droits humains mouvements alternatifs féminisme travail économie solidaire histoire économique |
| ISBN |
2-940600-12-0
2-14-007396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910416515103321 |
Anderson Jeanine
|
||
| Paris, Genève, : Graduate Institute Publications, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub
| Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 656 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Discrete mathematics Computers Computer science—Mathematics Computer logic Mathematical logic Artificial Intelligence Discrete Mathematics Theory of Computation Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Soggetto genere / forma |
Kongress.
Potsdam (2009) |
| ISBN | 3-642-04238-4 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1. Invited Talks -- SAT, SMT and Applications -- Logic-Based Modeling in Systems Biology -- Integrating Answer Set Programming and Satisfiability Modulo Theories -- Session 2. Technical Papers -- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP -- Splitting a CR-Prolog Program -- Contextual Argumentation in Ambient Intelligence -- Argumentation Context Systems: A Framework for Abstract Group Argumentation -- A Revised Concept of Safety for General Answer Set Programs -- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs -- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs -- Complexity of the Stable Model Semantics for Queries on Incomplete Databases -- Manifold Answer-Set Programs for Meta-reasoning -- A Deductive System for FO(ID) Based on Least Fixpoint Logic -- Computing Stable Models via Reductions to Difference Logic -- A Module-Based Framework for Multi-language Constraint Modeling -- Induction on Failure: Learning Connected Horn Theories -- On Reductive Semantics of Aggregates in Answer Set Programming -- A First Order Forward Chaining Approach for Answer Set Computing -- Knowledge Qualification through Argumentation -- Simple Random Logic Programs -- Max-ASP: Maximum Satisfiability of Answer Set Programs -- Belief Revision with Bounded Treewidth -- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection -- A Default Approach to Semantics of Logic Programs with Constraint Atoms -- The Complexity of Circumscriptive Inference in Post’s Lattice -- Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs -- Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence -- Weight Constraint Programs with Functions -- Session 3. Original Application Papers -- Bridging the Gap between High-Level Reasoning and Low-Level Control -- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming -- An ASP-Based System for e-Tourism -- cc? on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions -- Session 4. Short Papers -- Translating Preferred Answer Set Programs to Propositional Logic -- CR-Prolog as a Specification Language for Constraint Satisfaction Problems -- Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using -- Computing Weighted Solutions in Answer Set Programming -- Representing Multi-agent Planning in CLP -- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results -- AQL: A Query Language for Action Domains Modelled Using Answer Set Programming -- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs -- Layer Supported Models of Logic Programs -- Applying ASP to UML Model Validation -- The Logical Consequence Role in LPNMR: A Parameterized Computation Approach -- Social Default Theories -- Session 5. System Descriptions -- nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver -- An ASP System with Functions, Lists, and Sets -- A Simple Distributed Conflict-Driven Answer Set Solver -- An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic -- On the Input Language of ASP Grounder Gringo -- The Conflict-Driven Answer Set Solver clasp: Progress Report -- System f2lp – Computing Answer Sets of First-Order Formulas -- The First Version of a New ASP Solver : ASPeRiX -- An ASP-Based Data Integration System -- Gorgias-C: Extending Argumentation with Constraint Solving -- Session 6. Summaries of Existing Successful Applications Papers -- ANTON: Composing Logic and Logic Composing -- Modelling Normative Frameworks Using Answer Set Programing -- Generating Optimal Code Using Answer Set Programming -- Logic Programming Techniques in Protein Structure Determination: Methodologies and Results -- PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming -- HAPLO-ASP: Haplotype Inference Using Answer Set Programming -- Using Answer Set Programming to Enhance Operating System Discovery -- Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System -- Session 7. Short Application Papers -- Some DLV Applications for Knowledge Management -- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs -- Optimal Multicore Scheduling: An Application of ASP Techniques -- Session 8 (Panel on Future Applications). Position Papers by the Panelists -- From Data Integration towards Knowledge Mediation -- Integrating Answer Set Modules into Agent Programs -- What Next for ASP? (A Not-Entirely-Well-Informed Opinion) -- Using Lightweight Inference to Solve Lightweight Problems -- Present and Future Challenges for ASP Systems -- ASP: The Future Is Bright -- Exploiting ASP in Real-World Applications: Main Strengths and Challenges -- Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode -- Towards an Embedded Approach to Declarative Problem Solving in ASP -- System Competition. Summary of System Competition -- The Second Answer Set Programming Competition. |
| Record Nr. | UNISA-996465325703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub
| Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 656 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Discrete mathematics Computers Computer science—Mathematics Computer logic Mathematical logic Artificial Intelligence Discrete Mathematics Theory of Computation Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Soggetto genere / forma |
Kongress.
Potsdam (2009) |
| ISBN | 3-642-04238-4 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1. Invited Talks -- SAT, SMT and Applications -- Logic-Based Modeling in Systems Biology -- Integrating Answer Set Programming and Satisfiability Modulo Theories -- Session 2. Technical Papers -- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP -- Splitting a CR-Prolog Program -- Contextual Argumentation in Ambient Intelligence -- Argumentation Context Systems: A Framework for Abstract Group Argumentation -- A Revised Concept of Safety for General Answer Set Programs -- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs -- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs -- Complexity of the Stable Model Semantics for Queries on Incomplete Databases -- Manifold Answer-Set Programs for Meta-reasoning -- A Deductive System for FO(ID) Based on Least Fixpoint Logic -- Computing Stable Models via Reductions to Difference Logic -- A Module-Based Framework for Multi-language Constraint Modeling -- Induction on Failure: Learning Connected Horn Theories -- On Reductive Semantics of Aggregates in Answer Set Programming -- A First Order Forward Chaining Approach for Answer Set Computing -- Knowledge Qualification through Argumentation -- Simple Random Logic Programs -- Max-ASP: Maximum Satisfiability of Answer Set Programs -- Belief Revision with Bounded Treewidth -- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection -- A Default Approach to Semantics of Logic Programs with Constraint Atoms -- The Complexity of Circumscriptive Inference in Post’s Lattice -- Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs -- Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence -- Weight Constraint Programs with Functions -- Session 3. Original Application Papers -- Bridging the Gap between High-Level Reasoning and Low-Level Control -- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming -- An ASP-Based System for e-Tourism -- cc? on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions -- Session 4. Short Papers -- Translating Preferred Answer Set Programs to Propositional Logic -- CR-Prolog as a Specification Language for Constraint Satisfaction Problems -- Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using -- Computing Weighted Solutions in Answer Set Programming -- Representing Multi-agent Planning in CLP -- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results -- AQL: A Query Language for Action Domains Modelled Using Answer Set Programming -- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs -- Layer Supported Models of Logic Programs -- Applying ASP to UML Model Validation -- The Logical Consequence Role in LPNMR: A Parameterized Computation Approach -- Social Default Theories -- Session 5. System Descriptions -- nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver -- An ASP System with Functions, Lists, and Sets -- A Simple Distributed Conflict-Driven Answer Set Solver -- An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic -- On the Input Language of ASP Grounder Gringo -- The Conflict-Driven Answer Set Solver clasp: Progress Report -- System f2lp – Computing Answer Sets of First-Order Formulas -- The First Version of a New ASP Solver : ASPeRiX -- An ASP-Based Data Integration System -- Gorgias-C: Extending Argumentation with Constraint Solving -- Session 6. Summaries of Existing Successful Applications Papers -- ANTON: Composing Logic and Logic Composing -- Modelling Normative Frameworks Using Answer Set Programing -- Generating Optimal Code Using Answer Set Programming -- Logic Programming Techniques in Protein Structure Determination: Methodologies and Results -- PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming -- HAPLO-ASP: Haplotype Inference Using Answer Set Programming -- Using Answer Set Programming to Enhance Operating System Discovery -- Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System -- Session 7. Short Application Papers -- Some DLV Applications for Knowledge Management -- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs -- Optimal Multicore Scheduling: An Application of ASP Techniques -- Session 8 (Panel on Future Applications). Position Papers by the Panelists -- From Data Integration towards Knowledge Mediation -- Integrating Answer Set Modules into Agent Programs -- What Next for ASP? (A Not-Entirely-Well-Informed Opinion) -- Using Lightweight Inference to Solve Lightweight Problems -- Present and Future Challenges for ASP Systems -- ASP: The Future Is Bright -- Exploiting ASP in Real-World Applications: Main Strengths and Challenges -- Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode -- Towards an Embedded Approach to Declarative Problem Solving in ASP -- System Competition. Summary of System Competition -- The Second Answer Set Programming Competition. |
| Record Nr. | UNINA-9910484473503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||