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.
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 391 p. 75 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-642-40624-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences -- Analyzing the Equivalence Zoo in Abstract Argumentation -- On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract Dialectical Frameworks -- Admissibility in the Abstract Dialectical Framework -- Computing the Grounded Semantics in All the Subgraphs of an Argumentation Framework: An Empirical Evaluation -- Advanced SAT Techniques for Abstract Argumentation -- Web Based System for Weighted Defeasible Argumentation -- Coalitional Responsibility in Strategic Settings -- Symmetries and Epistemic Reasoning -- Accumulative Knowledge under Bounded Resources -- Time Is Up! – Norms with Deadlines in Action Languages -- External Transaction Logic with Automatic Compensations -- Perceiving Rules under Incomplete and Inconsistent Information -- Using Agent JPF to Build Models for Other Model Checkers -- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL -- A Temporal Argumentation Approach to Cooperative Planning Using Dialogues -- Reconfiguration of Large-Scale Surveillance Systems -- An Argumentation-Based Approach for Automatic Evaluation of Design Debates -- Risk Assessment as an Argumentation Game -- Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. |
| Record Nr. | UNISA-996466057703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
| Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 391 p. 75 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-642-40624-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences -- Analyzing the Equivalence Zoo in Abstract Argumentation -- On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract Dialectical Frameworks -- Admissibility in the Abstract Dialectical Framework -- Computing the Grounded Semantics in All the Subgraphs of an Argumentation Framework: An Empirical Evaluation -- Advanced SAT Techniques for Abstract Argumentation -- Web Based System for Weighted Defeasible Argumentation -- Coalitional Responsibility in Strategic Settings -- Symmetries and Epistemic Reasoning -- Accumulative Knowledge under Bounded Resources -- Time Is Up! – Norms with Deadlines in Action Languages -- External Transaction Logic with Automatic Compensations -- Perceiving Rules under Incomplete and Inconsistent Information -- Using Agent JPF to Build Models for Other Model Checkers -- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL -- A Temporal Argumentation Approach to Cooperative Planning Using Dialogues -- Reconfiguration of Large-Scale Surveillance Systems -- An Argumentation-Based Approach for Automatic Evaluation of Design Debates -- Risk Assessment as an Argumentation Game -- Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. |
| Record Nr. | UNINA-9910485150103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative Agent Languages and Technologies VI [[electronic resource] ] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff
| Declarative Agent Languages and Technologies VI [[electronic resource] ] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 251 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computers Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Models and Principles Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-93920-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Specifying and Enforcing Norms in Artificial Institutions -- Social Norm Emergence in Virtual Agent Societies -- A Distributed Normative Infrastructure for Situated Multi-agent Organisations -- Contributed Papers -- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications -- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies -- Leveraging New Plans in AgentSpeak(PL) -- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading -- Inductive Negotiation in Answer Set Programming -- Mental State Abduction of BDI-Based Agents -- Iterated Belief Revision in the Face of Uncertain Communication -- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms -- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming -- Strategic Agent Communication: An Argumentation-Driven Approach. |
| Record Nr. | UNISA-996465403003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems [[electronic resource] ] : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son
| Engineering Multi-Agent Systems [[electronic resource] ] : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 199 p. 54 illus.) |
| Disciplina | 620 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Computer communication systems Mathematical logic Computers and civilization Artificial Intelligence Software Engineering Programming Techniques Computer Communication Networks Mathematical Logic and Formal Languages Computers and Society |
| ISBN | 3-319-91899-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cross-fertilisation of ideas and experiences in the various fields with the aim to enhance knowledge and expertise in MAS engineering -- Improving the state-of-the-art -- Defining new directions for MAS engineering-. Investigating how established methodologies for engineering and large-scale and open MAS can be adapted. |
| Record Nr. | UNISA-996465816803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son
| Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 199 p. 54 illus.) |
| Disciplina | 620 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Computer communication systems Mathematical logic Computers and civilization Artificial Intelligence Software Engineering Programming Techniques Computer Communication Networks Mathematical Logic and Formal Languages Computers and Society |
| ISBN | 3-319-91899-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cross-fertilisation of ideas and experiences in the various fields with the aim to enhance knowledge and expertise in MAS engineering -- Improving the state-of-the-art -- Defining new directions for MAS engineering-. Investigating how established methodologies for engineering and large-scale and open MAS can be adapted. |
| Record Nr. | UNINA-9910349428303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / / edited by Pedro Cabalar, Tran Cao Son
| Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / / edited by Pedro Cabalar, Tran Cao Son |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 570 p. 70 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Computer logic Mathematical logic Software engineering Computer programming Artificial Intelligence Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques |
| ISBN | 3-642-40564-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning -- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics -- ARVis: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation Fixpoint Theory -- Encoding Higher Level Extensions of Petri Nets in ASP -- Cplus2ASP: Computing Action Language C+ in Answer Set Programming -- Towards Answer Set Programming with Sorts -- Prolog and ASP Inference Under One Roof -- Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information -- Towards Query Answering in Relational Multi-Context Systems -- Spectra in Abstract Argumentation: An Analysis of Minimal Change -- Normalizing Cardinality Rules using Merging and Sorting Constructions -- Experience Based Nonmonotonic Reasoning -- An ASP application in integrative biology: identification of functional gene units -- Evaluating Reactive Answer Set Solving for General Game Playing -- VCWC: A Versioning Competition Workflow Compiler -- A Sequential Model of Bargaining Reasoning in Logic Programming -- Extending the Metabolic Network of Ectocarpus Siliculosus using Answer Set Programming -- Negation as a Resource: a novel view on Answer Set -- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics -- Efficient Approximation of Well-Founded Justification and -- Well-Founded Domination -- Approximate Epistemic Planning with Postdiction as Answer-Set Programming -- Combining equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set Programs with Ouroboros Extending the SeaLion Plugin -- Game Semantics for Non-Monotonic Intensional Logic Programming -- Matchmaking with Answer Set Programming -- Ricochet Robots: A transverse ASP benchmark -- Decidability and implementation of parameterized logic programs -- Non-monotonic Temporal Goals -- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics -- An Application of ASP to the Field of Second Language Acquisition -- Turner's Logic of Universal Causation, Propositional Logic, and Logic -- Concrete Results on Abstract Rules -- Linear Logic Programming for Narrative -- Implementing Informal Semantics of ASP -- Implementing Belief Change in the Situation Calculus and an Application -- Debugging non-ground ASP programs with Choice Rules, Cardinality, Constraints and Weight Constraints -- Conflict-based Program Rewriting for Solving Configuration Problems -- Program Updating by Incremental and Answer Subsumption Tabling -- Representation Theorems for Revision of Logic -- Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming -- Early Recovery in Logic Program Updates -- Preference Handling for Belief-Based Rational Decisions -- Logic-based techniques for data cleaning: an application to the Italian National Healthcare System -- Justifications for Logic Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set optimization problems. |
| Record Nr. | UNISA-996466059803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / / edited by Pedro Cabalar, Tran Cao Son
| Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / / edited by Pedro Cabalar, Tran Cao Son |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 570 p. 70 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Computer logic Mathematical logic Software engineering Computer programming Artificial Intelligence Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques |
| ISBN | 3-642-40564-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning -- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics -- ARVis: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation Fixpoint Theory -- Encoding Higher Level Extensions of Petri Nets in ASP -- Cplus2ASP: Computing Action Language C+ in Answer Set Programming -- Towards Answer Set Programming with Sorts -- Prolog and ASP Inference Under One Roof -- Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information -- Towards Query Answering in Relational Multi-Context Systems -- Spectra in Abstract Argumentation: An Analysis of Minimal Change -- Normalizing Cardinality Rules using Merging and Sorting Constructions -- Experience Based Nonmonotonic Reasoning -- An ASP application in integrative biology: identification of functional gene units -- Evaluating Reactive Answer Set Solving for General Game Playing -- VCWC: A Versioning Competition Workflow Compiler -- A Sequential Model of Bargaining Reasoning in Logic Programming -- Extending the Metabolic Network of Ectocarpus Siliculosus using Answer Set Programming -- Negation as a Resource: a novel view on Answer Set -- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics -- Efficient Approximation of Well-Founded Justification and -- Well-Founded Domination -- Approximate Epistemic Planning with Postdiction as Answer-Set Programming -- Combining equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set Programs with Ouroboros Extending the SeaLion Plugin -- Game Semantics for Non-Monotonic Intensional Logic Programming -- Matchmaking with Answer Set Programming -- Ricochet Robots: A transverse ASP benchmark -- Decidability and implementation of parameterized logic programs -- Non-monotonic Temporal Goals -- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics -- An Application of ASP to the Field of Second Language Acquisition -- Turner's Logic of Universal Causation, Propositional Logic, and Logic -- Concrete Results on Abstract Rules -- Linear Logic Programming for Narrative -- Implementing Informal Semantics of ASP -- Implementing Belief Change in the Situation Calculus and an Application -- Debugging non-ground ASP programs with Choice Rules, Cardinality, Constraints and Weight Constraints -- Conflict-based Program Rewriting for Solving Configuration Problems -- Program Updating by Incremental and Answer Subsumption Tabling -- Representation Theorems for Revision of Logic -- Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming -- Early Recovery in Logic Program Updates -- Preference Handling for Belief-Based Rational Decisions -- Logic-based techniques for data cleaning: an application to the Italian National Healthcare System -- Justifications for Logic Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set optimization problems. |
| Record Nr. | UNINA-9910484997903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [[electronic resource] ] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / / edited by Marcello Balduccini, Tran Cao Son
| Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [[electronic resource] ] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / / edited by Marcello Balduccini, Tran Cao Son |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 513 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-642-20832-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Opening: Homage to Michael Gelfond on His 65th Birthday -- Foundations: ASP and Theories of LP, KR, and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology -- Closure and Consistency Rationalities in Logic-Based Argumentation -- Manifold Answer-Set Programs and Their Applications -- On the Minimality of Stable Models -- Challenges in Answer Set Solving -- Exploring Relations between Answer Set Programs -- Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses -- Effectively Reasoning about Infinite Sets in Answer Set Programming -- Inspecting Side-Effects of Abduction in Logic Programs -- Argumentation and Answer Set Programming -- Interlude: Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond -- Interlude: Recollections on Michael Gelfond’s 65th Birthday -- ASP and Dynamic Domains: Evolving Logic Programs with Temporal Operators -- On Representing Actions in Multi-agent Domains -- Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources -- Perspectives on Logic-Based Approaches for Reasoning about Actions and Change -- Refinement of History-Based Policies -- Translating General Game Descriptions into an Action Language -- Revisiting Epistemic Specifications -- Interlude: Answer Set; Programming? -- Interlude: Michael Gelfond: Essay in Honour of His 65th Birthday -- ASP – Applications and Tools: PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information -- ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memor -- A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design -- Applications of Answer Set Programming in Phylogenetic Systematics -- ASP at Work: Spin-off and Applications of the DLV System -- Combining Answer Set Programming and Prolog: The ASP–PROLOG System -- On the Practical Side of Answer Set Programming -- ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents -- Ending: Tea Times with Gelfond. |
| Record Nr. | UNISA-996465432703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / / edited by Enrico Pontelli, Tran Cao Son
| Practical Aspects of Declarative Languages [[electronic resource] ] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / / edited by Enrico Pontelli, Tran Cao Son |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 149 p. 29 illus.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Software engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering |
| ISBN | 3-319-19686-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule -- Declaratively Solving Google Code Jam Problems with Picat -- Reactive Single-Page Applications with Dynamic Dataflow -- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry -- Implementation and Performance of Probabilistic Inference -- A Haskell Implementation of a Rule-Based Program Transformation for C Programs -- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml: the OCaPICProject. |
| Record Nr. | UNISA-996200005203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / / edited by Enrico Pontelli, Tran Cao Son
| Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / / edited by Enrico Pontelli, Tran Cao Son |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 149 p. 29 illus.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Software engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering |
| ISBN | 3-319-19686-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule -- Declaratively Solving Google Code Jam Problems with Picat -- Reactive Single-Page Applications with Dynamic Dataflow -- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry -- Implementation and Performance of Probabilistic Inference -- A Haskell Implementation of a Rule-Based Program Transformation for C Programs -- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml: the OCaPICProject. |
| Record Nr. | UNINA-9910484585303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
