Info
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 | ||
| ||
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 | ||
| ||
Declarative Logic Programming : Theory, Systems, and Applications
| Declarative Logic Programming : Theory, Systems, and Applications |
| Autore | Kifer Michael |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2018 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) | LiuYanhong Annie |
| Collana | ACM books |
| Soggetto topico |
Logic programming
Declarative programming |
| ISBN | 1-970001-96-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910861040603321 |
|
Kifer Michael
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers / / edited by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel
| Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers / / edited by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (313 pages) : illustrations |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Declarative programming |
| ISBN | 3-030-46714-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- GPU-based parallelism for ASP-solving -- A Process Calculus for Formally Verifying Blockchain Consensus Protocols -- 22nd International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2019 -- Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming -- Finding Maximal Non–Redundant Association Rules in Tennis Data -- From Textual Information Sources to Linked Data in the Agatha Project -- Allen's Interval Algebra Makes the Difference -- Exploring Properties of Icosoku by Constraint Satisfaction Approach -- The Regularization of Small Sub-Constraint Satisfaction Problems -- 33rd Workshop on (Constraint) Logic Programming - WLP 2019 -- Declarative Programming for Microcontrollers - Datalog on Arduino -- Towards Constraint Logic Programming over Strings for Test Data Generation -- Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic -- KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog -- 27th International Workshop on Functional and Logic Programming - WFLP 2019 -- Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming -- Performance Analysis of Zippers -- Adding Data to Curry -- Free Theorems Simply, via Dinaturality -- Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation -- ICurry. |
| Record Nr. | UNISA-996418312203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
FDPE '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia
| FDPE '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2005 |
| Descrizione fisica | 1 online resource (53 p.;) |
| Disciplina | 005.1/14 |
| Collana | ACM Conferences |
| Soggetto topico |
Functional programming (Computer science)
Declarative programming Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | FDPE '05 |
| Record Nr. | UNINA-9910375928003321 |
| [Place of publication not identified], : Association for Computing Machinery, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PPDP '04 : proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, August 24-26, 2004, Verona, Italy
| PPDP '04 : proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, August 24-26, 2004, Verona, Italy |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM Press, 2004 |
| Descrizione fisica | 1 online resource (260 p.;) |
| Disciplina | 005.13/1 |
| Collana | ACM Conferences |
| Soggetto topico |
Declarative programming
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PPDP '04 |
| Record Nr. | UNINA-9910375933003321 |
| [Place of publication not identified], : ACM Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007
| PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007 |
| Autore | Leuschel Michael |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2007 |
| Descrizione fisica | 1 online resource (240 p.;) |
| Disciplina | 005.13/1 |
| Collana | ACM Conferences |
| Soggetto topico |
Declarative programming
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PPDP '07 |
| Record Nr. | UNINA-9910376403103321 |
|
Leuschel Michael
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PPDP '09 : proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming : September 7-9, 2009 Coimbra, Portugal
| PPDP '09 : proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming : September 7-9, 2009 Coimbra, Portugal |
| Autore | Porto António |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
| Descrizione fisica | 1 online resource (324 p.;) |
| Disciplina | 005.13 |
| Collana | ACM Conferences |
| Soggetto topico |
Declarative programming
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PPDP '09 |
| Record Nr. | UNINA-9910375795403321 |
|
Porto António
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
