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.
2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems : 12-12 April 2016, Vienna, Austria / / Institute of Electrical and Electronics Engineers ; edited by Albert M. K. Cheng
| 2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems : 12-12 April 2016, Vienna, Austria / / Institute of Electrical and Electronics Engineers ; edited by Albert M. K. Cheng |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (7 pages) |
| Disciplina | 005.131 |
| Soggetto topico |
Declarative programming
Cooperating objects (Computer systems) - Programming |
| ISBN | 1-5090-1150-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910332541503321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems : 12-12 April 2016, Vienna, Austria / / Institute of Electrical and Electronics Engineers ; edited by Albert M. K. Cheng
| 2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems : 12-12 April 2016, Vienna, Austria / / Institute of Electrical and Electronics Engineers ; edited by Albert M. K. Cheng |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (7 pages) |
| Disciplina | 005.131 |
| Soggetto topico |
Declarative programming
Cooperating objects (Computer systems) - Programming |
| ISBN | 1-5090-1150-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996575458603316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
23rd International Symposium on Principles and Practice of Declarative Programming : 6 - 8 September 2021 / / Niccolò Veltri, Nick Benton, Silvia Ghilezan
| 23rd International Symposium on Principles and Practice of Declarative Programming : 6 - 8 September 2021 / / Niccolò Veltri, Nick Benton, Silvia Ghilezan |
| Autore | Veltri Niccolò |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , [2021] |
| Descrizione fisica | 1 online resource (277 pages) : illustrations |
| Disciplina | 005.131 |
| Collana | ACM Conferences |
| Soggetto topico | Declarative programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510422803321 |
Veltri Niccolò
|
||
| New York : , : Association for Computing Machinery, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / / Dietmar Seipel ... [et al.] (eds.)
| Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / / Dietmar Seipel ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, N.Y., : Springer, 2005 |
| Descrizione fisica | 1 online resource (X, 315 p.) |
| Disciplina | 005/.3/1 |
| Altri autori (Persone) | SeipelDietmar |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Declarative programming
Knowledge management Logic programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Management and Decision Support -- Optimizing the Evaluation of XPath Using Description Logics -- Declaratively Querying and Visualizing Knowledge Bases in Xml -- SQL Based Frequent Pattern Mining with FP-Growth -- Incremental Learning of Transfer Rules for Customized Machine Translation -- Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases -- An Evaluation of a Rule-Based Language for Classification Queries -- Deductive and Inductive Reasoning on Spatio-Temporal Data -- Mining Semantic Structures in Movies -- Solving Alternating Boolean Equation Systems in Answer Set Programming -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints -- Realising the Alternative Resources Constraint -- Integrating Time Constraints into Constraint-Based Configuration Models -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent Engineering to Wisdom Engineering -- Web Services Based on Prolog and Xml -- A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language -- DialogEngines – Dialog Agents for Web-Based Self Service Consulting -- Towards Ubiquitous Maintenance – Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming -- A Pragmatic Approach to Pre-testing Prolog Programs. |
| Altri titoli varianti |
15th International Conference on Applications of Declarative Programming and Knowledge Management
International Conference on Applications of Declarative Programming and Knowledge Management INAP 2004 18th Workshop on Logic Programming Workshop on Logic Programming WLP 2004 |
| Record Nr. | UNINA-9910768443703321 |
| Berlin ; ; New York, N.Y., : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers / / Joao Leite ... [et al.] (eds.)
| Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers / / Joao Leite ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XII, 292 p.) |
| Disciplina | 005.115 |
| Altri autori (Persone) | LeiteJoao Alexandre |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Declarative programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET–An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report -- Reasoning About Agents’ Interaction Protocols Inside DCaseLP -- Verification -- Model Checking Agent Dialogues -- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming -- Norm Verification and Analysis of Electronic Institutions -- Norms and Protocols -- A Lightweight Coordination Calculus for Agent Systems -- Enhancing Commitment Machines -- A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks -- Interaction and Communication -- Intensional Programming for Agent Communication -- The Logic of Communication Graphs -- Representational Content and the Reciprocal Interplay of Agent and Environment. |
| Altri titoli varianti |
DALT 2004
Declarative agent languages and technologies 2 |
| Record Nr. | UNINA-9910484974103321 |
| Berlin ; ; New York, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative agent languages and technologies III : third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers / / Matteo Baldoni ... [et al.] (eds.)
| Declarative agent languages and technologies III : third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers / / Matteo Baldoni ... [et al.] (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XII, 248 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | BaldoniMatteo <1968-> |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Declarative programming Intelligent agents (Computer software) |
| ISBN | 3-540-33107-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Programming and Beliefs -- Beliefs in Agent Implementation -- Modelling Uncertainty in Agent Programming -- Complete Axiomatizations of Finite Syntactic Epistemic States -- Architectures and Logic Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming -- A Distributed Architecture for Norm-Aware Agent Societies -- About Declarative Semantics of Logic-Based Agent Languages -- Knowledge Representation and Reasoning -- Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour -- Resource-Bounded Belief Revision and Contraction -- Agent-Oriented Programming with Underlying Ontological Reasoning -- Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains -- A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents -- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. |
| Altri titoli varianti |
Declarative agent languages and technologies 3
DALT 2005 |
| Record Nr. | UNINA-9910768467503321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative Agent Languages and Technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers / / Matteo Baldoni, Ulle Endriss (eds.)
| Declarative Agent Languages and Technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers / / Matteo Baldoni, Ulle Endriss (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VIII, 268 p.) |
| Disciplina | 055.13/1 |
| Altri autori (Persone) |
BaldoniMatteo <1968->
EndrissUlle |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Declarative programming Intelligent agents (Computer software) |
| ISBN | 3-540-68961-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Producing Compliant Interactions: Conformance, Coverage, and Interoperability -- Invited Papers -- Towards Theory Translation -- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications -- Dynamic Model Checking for Multi-agent Systems -- Contributed Papers -- Automating Belief Revision for AgentSpeak -- A Foundational Ontology of Organizations and Roles -- When Agents Communicate Hypotheses in Critical Situations -- A Fibred Tableau Calculus for Modal Logics of Agents -- Programming Declarative Goals Using Plan Patterns -- JADL – An Agent Description Language for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System for Agents with Declarative Goals -- A Collaborative Framework to Realize Virtual Enterprises Using 3APL -- A Modeling Framework for Generic Agent Interaction Protocols -- Plan Generation and Plan Execution in Agent Programming -- A Functional Program for Agents, Actions, and Deontic Specifications. |
| Altri titoli varianti | DALT 2006 |
| Record Nr. | UNINA-9910483038003321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors)
| Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 248 p.) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligent agents (Computer software)
Programming languages (Electronic computers) Declarative programming |
| ISBN | 3-540-77564-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Agent-Oriented Modelling: Declarative or Procedural? -- Invited Papers -- Joint Conversation Specification and Compliance -- Interoperation in Protocol Enactment -- Contributed Papers: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High-Level Plans for Declarative Agent Programming -- Satisfying Maintenance Goals -- Towards Alternative Approaches to Reasoning About Goals -- Contributed Papers: Foundational Concepts -- Reflections on Agent Beliefs -- Modeling Agents’ Choices in Temporal Linear Logic -- Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints -- On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition -- Contributed Papers: Communication -- Structured Argumentation in a Mediator for Online Dispute Resolution -- Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation -- Component-Based Standardisation of Agent Communication. |
| Record Nr. | UNINA-9910483487103321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors)
| Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 248 p.) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligent agents (Computer software)
Programming languages (Electronic computers) Declarative programming |
| ISBN | 3-540-77564-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Agent-Oriented Modelling: Declarative or Procedural? -- Invited Papers -- Joint Conversation Specification and Compliance -- Interoperation in Protocol Enactment -- Contributed Papers: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High-Level Plans for Declarative Agent Programming -- Satisfying Maintenance Goals -- Towards Alternative Approaches to Reasoning About Goals -- Contributed Papers: Foundational Concepts -- Reflections on Agent Beliefs -- Modeling Agents’ Choices in Temporal Linear Logic -- Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints -- On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition -- Contributed Papers: Communication -- Structured Argumentation in a Mediator for Online Dispute Resolution -- Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation -- Component-Based Standardisation of Agent Communication. |
| Record Nr. | UNISA-996465980603316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
