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.
A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / / Agostino Dovier, Enrico Pontelli (eds.)
| A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / / Agostino Dovier, Enrico Pontelli (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
DovierAgostino
PontelliEnrico <1967-> |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico | Logic programming |
| ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
| Record Nr. | UNINA-9910483881603321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings / / J. Grabowski, P. Lescanne, W. Wechler (editors)
| Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings / / J. Grabowski, P. Lescanne, W. Wechler (editors) |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin : , : Springer-Verlag, , [1988] |
| Descrizione fisica | 1 online resource (IX, 269 p.) |
| Disciplina | 005.115 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Logic programming |
| ISBN | 3-540-46063-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ACP with signals -- Functional extensions to prolog: Are they needed? -- Narrowing and resolution in logic-functional programming languages -- Nondeterministic algebraic specifications and nonconfluent term rewriting -- OBJ: Programming with equalities, subsorts, overloading and parameterization -- Logic programming with polymorphically order-sorted types -- Integrating logic programming and equational specification of abstract data types -- Narrowing with built-in theories -- A completion procedure for hierarchical conditional rewriting systems -- An effective method for handling initial algebras -- Boolean valued models and incomplete specifications -- Types, modularisation and abstraction in logic programming -- Translating algebraic specifications to Prolog programs: A comparative study -- Rewrite rule systems for modal propositional logic -- A characterization of irreducible sets modulo left-linear term rewriting systems by tree automata -- Functional data term models and semantic unification -- Modular algebraic specifications -- Proving inductive theorems based on term rewriting systems -- Jungle evaluation for efficient term rewriting -- A new quasi-reducibility testing algorithm and its application to proofs by induction -- Fuzzy reasoning based on f-horn clause rules -- Babel: A functional and logic programming language based on constructor discipline and narrowing -- Refined compilation of pattern-matching for functional languages -- Narrowing in partial conditional equational theories -- Solving equations in an equational language -- Nonstandard logics of recursive programs and denotational semantics. . |
| Record Nr. | UNISA-996465313103316 |
| Berlin : , : Springer-Verlag, , [1988] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence / / edited by Muharrem Kılıç, Sezer Bozkuş Kahyaoğlu
| Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence / / edited by Muharrem Kılıç, Sezer Bozkuş Kahyaoğlu |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (231 pages) |
| Disciplina | 006.3 |
| Collana | Accounting, Finance, Sustainability, Governance & Fraud: Theory and Application |
| Soggetto topico |
Business - Data processing
Human rights Logic programming Machine learning Business Analytics Human Rights Logic in AI Machine Learning |
| ISBN | 981-9963-27-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Socio-Political Analysis Of AI-Based Discrimination In The Meta-Surveillance Universe -- Rethinking Non-Discrimination Law In The Age Of Artificial Intelligence -- Data Protection Legislation, Artificial Intelligence and Discrimination -- Can The Right To Explanation Right In GDPR Be A Remedy For Algoritmic Discrimination? -- Sufficency Of Struglling With The Current Criminal Law Rules on the Use Of Artificial Intelligence in CrimePrevention of Discrimination in the Practices of Predictive Policing -- Issues That May Arise From Usage Of Artificial Intelligence Technologies In Criminal Justice and Law Enforcement -- Artificial Intelligence And Prohibition of Discrimination From The Perspective of Private Law -- Legal Challenges of Artificial Intelligence In Healthcare -- The Impact Of Artificial Intelligence On Social Rights -- An Investigation On The Detection Of Discrimination and Hate Speech Shared On Social Media Platforms Using Artificial Intelligence Methods -- The New Era: Transforming Healthcare -- Quality With Artificial Intelligence -- Managing Artificial Intelligence Algorithmic Discrimination: The Internal Audit Function Role. |
| Record Nr. | UNINA-9910760296803321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytical learning and term-rewriting systems / / Philip Laird and Evan Gamble
| Analytical learning and term-rewriting systems / / Philip Laird and Evan Gamble |
| Autore | Laird Philip |
| Pubbl/distr/stampa | Moffett Field, CA : , : NASA Ames Research Center, , June 1990 |
| Descrizione fisica | 1 online resource (46 pages) |
| Collana | NASA/TM |
| Soggetto topico |
Machine learning
Calculus Algorithms Logic programming Mathematical models |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910713791003321 |
Laird Philip
|
||
| Moffett Field, CA : , : NASA Ames Research Center, , June 1990 | ||
| 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 | ||
| ||
Arithmetic and logic in computer systems [[electronic resource] /] / Mi Lu
| Arithmetic and logic in computer systems [[electronic resource] /] / Mi Lu |
| Autore | Lu Mi |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, NJ, : Wiley-Interscience, c2004 |
| Descrizione fisica | 1 online resource (270 p.) |
| Disciplina | 004/.01/51 |
| Collana | Wiley Series in Microwave and Optical Engineering |
| Soggetto topico |
Computer arithmetic
Logic programming |
| ISBN |
1-280-25336-3
9786610253364 0-470-35774-6 0-471-72621-4 0-471-72851-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Arithmetic and Logic in Computer Systems; Contents; Preface; List of Figures; List of Figures; List of Tables; List of Tables; About the Author; 1 Computer Number Systems; 1.1 Conventional Radix Number System; 1.2 Conversion of Radix Numbers; 1.3 Representation of Signed Numbers; 1.3.1 Sign-Magnitude; 1.3.2 Diminished Radix Complement; 1.3.3 Radix Complement; 1.4 Signed-Digit Number System; 1.1 Numbers Represented by 4 bits in Different Number Systems; 1.2 Finding Signed Digits; 1.5 Floating-point Number Representation; 1.5.1 Normalization; 1.5.2 Bias; 1.1 Floating-point Representation
1.2 Range of the Numbers1.3 Precision of Floating-Point Numbers; 1.4 Double Precision Floating-Point Representation; 1.3 Reserved Representation in IEEE Standard; 1.6 Residue Number System; 1.7 Logarithmic Number System; References; Problems; 2 Addition and Subtraction; 2.1 Single-Bit Adders; 2.1.1 Logical Devices; 2.1 AOI Function; 2.1 Delay Time and Area of Logic Gates; 2.2 Decoder and Multiplexer; 2.1.2 Single-Bit Half-Adder and Full-Adders; 2.3 Single-Bit Half-Adder; 2.2 Logic Function of a Half-Adder; 2.3 Logic Function of a Full-Adder; 2.4 Design of Full-Adder; 2.2 Negation 2.4 Single-Bit Subtractor2.2.1 Negation in One's Complement System; 2.5 Single-Bit Subtrator; 2.5 Negation in One's Complement System; 2.6 Negation in One's Complement System; 2.2.2 Negation in Two's Complement System; 2.7 Negation in Two's Complement System; 2.3 Subtraction through Addition; 2.8 Subtraction through Addition; 2.9 One-Bit Adder/Subtractor; 2.4 Over flow; 2.5 Ripple Carry Adders; 2.5.1 Two's Complement Addition; 2.10 Two's Complement Addition/Subtraction; 2.5.2 One's Complement Addition; 2.11 One's Complement Addition/Subtraction; 2.5.3 Sign-Magnitude Addition 2.12 Block Diagram of Sign-Magnitude Addition/SubtractionReferences; 2.13 Sign-Magnitude Addition/Subtraction; Problems; 3 High-Speed Adder; 3.1 Conditional-Sum Addition; 3.1 Conditional-Sum Addition; 3.2 Carry-Completion Sensing Addition; 3.2 Conditional-Sum Adder; 3.3 Generation and Transmission of Carries; 3.4 Construction of Carry-Completion Sensing Adder; 3.3 Carry-Lookahead Addition (CLA); 3.3.1 Carry-Lookahead Adder; 3.3.2 Block Carry Lookahead Adder; 3.5 Carry-Lookahead Adder; 3.6 Block Carry-Lookahead Adder; 3.4 Carry-Save Adders (CSA); 3.7 Carry-Save Adder; 3.8 Carry-Save Adder Tree 3.9 Two Types of Parallelization in Multi-Operand Addition3.5 Bit-Partitioned Multiple Addition; 3.1 Maximum Inputs of CSA Trees; 3.10 Bit-Partitioned Multiple Addition; References; Problems; 3.11 Carry-Completion Sensing Adder; 3.12 Carry-Save Adder; 3.13 Bit-Partitional Adder; 4 Sequential Multiplication; 4.1 Add-and-shift Approach; 4.1 Hardware for Sequential Multiplication; 4.2 Register Occupation; 4.2 Indirect Multiplication Schemes; 4.2. 1 Unsigned Number Multiplication; 4.2.2 Sign-Magnitude Number Multiplication; 4.2.3 One's Complement Number Multiplication 4.3 Unsigned Number Multiplication |
| Record Nr. | UNINA-9910145764203321 |
|
Lu Mi
|
||
| Hoboken, NJ, : Wiley-Interscience, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arithmetic and logic in computer systems / / Mi Lu
| Arithmetic and logic in computer systems / / Mi Lu |
| Autore | Lu Mi |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, NJ, : Wiley-Interscience, c2004 |
| Descrizione fisica | 1 online resource (270 p.) |
| Disciplina | 004/.01/51 |
| Collana | Wiley Series in Microwave and Optical Engineering |
| Soggetto topico |
Computer arithmetic
Logic programming |
| ISBN |
9786610253364
9781280253362 1280253363 9780470357743 0470357746 9780471726210 0471726214 9780471728511 0471728519 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Arithmetic and Logic in Computer Systems; Contents; Preface; List of Figures; List of Figures; List of Tables; List of Tables; About the Author; 1 Computer Number Systems; 1.1 Conventional Radix Number System; 1.2 Conversion of Radix Numbers; 1.3 Representation of Signed Numbers; 1.3.1 Sign-Magnitude; 1.3.2 Diminished Radix Complement; 1.3.3 Radix Complement; 1.4 Signed-Digit Number System; 1.1 Numbers Represented by 4 bits in Different Number Systems; 1.2 Finding Signed Digits; 1.5 Floating-point Number Representation; 1.5.1 Normalization; 1.5.2 Bias; 1.1 Floating-point Representation
1.2 Range of the Numbers1.3 Precision of Floating-Point Numbers; 1.4 Double Precision Floating-Point Representation; 1.3 Reserved Representation in IEEE Standard; 1.6 Residue Number System; 1.7 Logarithmic Number System; References; Problems; 2 Addition and Subtraction; 2.1 Single-Bit Adders; 2.1.1 Logical Devices; 2.1 AOI Function; 2.1 Delay Time and Area of Logic Gates; 2.2 Decoder and Multiplexer; 2.1.2 Single-Bit Half-Adder and Full-Adders; 2.3 Single-Bit Half-Adder; 2.2 Logic Function of a Half-Adder; 2.3 Logic Function of a Full-Adder; 2.4 Design of Full-Adder; 2.2 Negation 2.4 Single-Bit Subtractor2.2.1 Negation in One's Complement System; 2.5 Single-Bit Subtrator; 2.5 Negation in One's Complement System; 2.6 Negation in One's Complement System; 2.2.2 Negation in Two's Complement System; 2.7 Negation in Two's Complement System; 2.3 Subtraction through Addition; 2.8 Subtraction through Addition; 2.9 One-Bit Adder/Subtractor; 2.4 Over flow; 2.5 Ripple Carry Adders; 2.5.1 Two's Complement Addition; 2.10 Two's Complement Addition/Subtraction; 2.5.2 One's Complement Addition; 2.11 One's Complement Addition/Subtraction; 2.5.3 Sign-Magnitude Addition 2.12 Block Diagram of Sign-Magnitude Addition/SubtractionReferences; 2.13 Sign-Magnitude Addition/Subtraction; Problems; 3 High-Speed Adder; 3.1 Conditional-Sum Addition; 3.1 Conditional-Sum Addition; 3.2 Carry-Completion Sensing Addition; 3.2 Conditional-Sum Adder; 3.3 Generation and Transmission of Carries; 3.4 Construction of Carry-Completion Sensing Adder; 3.3 Carry-Lookahead Addition (CLA); 3.3.1 Carry-Lookahead Adder; 3.3.2 Block Carry Lookahead Adder; 3.5 Carry-Lookahead Adder; 3.6 Block Carry-Lookahead Adder; 3.4 Carry-Save Adders (CSA); 3.7 Carry-Save Adder; 3.8 Carry-Save Adder Tree 3.9 Two Types of Parallelization in Multi-Operand Addition3.5 Bit-Partitioned Multiple Addition; 3.1 Maximum Inputs of CSA Trees; 3.10 Bit-Partitioned Multiple Addition; References; Problems; 3.11 Carry-Completion Sensing Adder; 3.12 Carry-Save Adder; 3.13 Bit-Partitional Adder; 4 Sequential Multiplication; 4.1 Add-and-shift Approach; 4.1 Hardware for Sequential Multiplication; 4.2 Register Occupation; 4.2 Indirect Multiplication Schemes; 4.2. 1 Unsigned Number Multiplication; 4.2.2 Sign-Magnitude Number Multiplication; 4.2.3 One's Complement Number Multiplication 4.3 Unsigned Number Multiplication |
| Record Nr. | UNINA-9910817402703321 |
|
Lu Mi
|
||
| Hoboken, NJ, : Wiley-Interscience, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [[electronic resource] ] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
| The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [[electronic resource] ] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXXIV, 461 p. 1292 illus., 45 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Logic programming Computer science - Mathematics Mathematical statistics Data protection Theory of Computation Software Engineering Logic in AI Probability and Statistics in Computer Science Data and Information Security |
| ISBN | 3-030-31175-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Concurrency -- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size -- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need strategy -- Deadlock Analysis of Wait-Notify Coordination -- Enhancing reaction systems: a process algebraic approach -- Checking the Expressivity of Firewall Languages -- Polymorphic Session Processes as Morphisms -- Guess Who's Coming: Runtime Inclusion of Participants in Choreographies -- A Complete Axiomatizion of Branching Bisimulation for a Simple Process Language with Probabilistic Choice -- Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies -- Stronger Validity Criteria for Encoding Synchrony -- Confluence of the Chinese Monoid -- Logic and Constraint Programming -- A coalgebraic approach to unification semantics of logic programming -- Polyadic Soft Constraints -- Security and Privacy -- Core-concavity, Gain Functions and Axioms for Information Leakage -- Formalisation of Probabilistic Testing Semantics in Coq -- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics -- Fooling the Parallel Or Tester with Probability 8/27 -- Categorical information flow -- Statistical Epistemic Logic -- Approximate model counting, sparse XOR constraints and minimum distance -- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative Information Flow -- Models and Puzzles -- Toward a Formal Model for Group Polarization in Social Networks -- Make Puzzles Great Again. |
| Record Nr. | UNISA-996466338303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
| The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXXIV, 461 p. 1292 illus., 45 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Logic programming Computer science - Mathematics Mathematical statistics Data protection Theory of Computation Software Engineering Logic in AI Probability and Statistics in Computer Science Data and Information Security |
| ISBN | 3-030-31175-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Concurrency -- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size -- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need strategy -- Deadlock Analysis of Wait-Notify Coordination -- Enhancing reaction systems: a process algebraic approach -- Checking the Expressivity of Firewall Languages -- Polymorphic Session Processes as Morphisms -- Guess Who's Coming: Runtime Inclusion of Participants in Choreographies -- A Complete Axiomatizion of Branching Bisimulation for a Simple Process Language with Probabilistic Choice -- Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies -- Stronger Validity Criteria for Encoding Synchrony -- Confluence of the Chinese Monoid -- Logic and Constraint Programming -- A coalgebraic approach to unification semantics of logic programming -- Polyadic Soft Constraints -- Security and Privacy -- Core-concavity, Gain Functions and Axioms for Information Leakage -- Formalisation of Probabilistic Testing Semantics in Coq -- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics -- Fooling the Parallel Or Tester with Probability 8/27 -- Categorical information flow -- Statistical Epistemic Logic -- Approximate model counting, sparse XOR constraints and minimum distance -- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative Information Flow -- Models and Puzzles -- Toward a Formal Model for Group Polarization in Social Networks -- Make Puzzles Great Again. |
| Record Nr. | UNINA-9910357851903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Chatbot Research and Design [[electronic resource] ] : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg
| Chatbot Research and Design [[electronic resource] ] : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg |
| Autore | Følstad Asbjø |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina | 006.35 |
| Altri autori (Persone) |
AraujoTheo
PapadopoulosSymeon LawEffie L. -C LugerEwa GoodwinMorten HobertSebastian BrandtzaegPetter Bae |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Natural language processing (Computer science)
Logic programming User interfaces (Computer systems) Human-computer interaction Computer networks Information storage and retrieval systems Computer programming Natural Language Processing (NLP) Logic in AI User Interfaces and Human Computer Interaction Computer Communication Networks Information Storage and Retrieval Programming Techniques |
| ISBN | 3-031-54975-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996589546403316 |
|
Følstad Asbjø
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Logic programming
(205)
- Logic in AI (104)
- Computer science (68)
- Software Engineering (50)
- Software engineering (50)