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.
Logic, Language, Information and Computation [[electronic resource] ] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings / / edited by Anuj Dawar, Ruy de Queiroz
| Logic, Language, Information and Computation [[electronic resource] ] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings / / edited by Anuj Dawar, Ruy de Queiroz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 259 p. 28 illus.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computers Mathematical logic Computer logic Algorithms Programming Languages, Compilers, Interpreters Programming Techniques Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| ISBN |
1-280-38743-2
9786613565358 3-642-13824-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey -- The Two-Variable Fragment with Counting Revisited -- Intuitionistic Logic and Computability Theory -- Foundations of Satisfiability Modulo Theories -- Logical Form as a Determinant of Cognitive Processes -- Formal Lifetime Reliability Analysis Using Continuous Random Variables -- Modal Logics with Counting -- Verification of the Completeness of Unification Algorithms à la Robinson -- Mechanisation of PDA and Grammar Equivalence for Context-Free Languages -- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations -- Decidability and Undecidability Results on the Modal ?-Calculus with a Natural Number-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties -- On Anaphora and the Binding Principles in Categorial Grammar -- Feasible Functions over Co-inductive Data -- Interval Valued Fuzzy Coimplication -- Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures -- Intersection Type Systems and Explicit Substitutions Calculi -- Generalising Conservativity. |
| Record Nr. | UNISA-996465619303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information and Computation [[electronic resource] ] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings / / edited by Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz
| Logic, Language, Information and Computation [[electronic resource] ] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings / / edited by Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 409 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Algorithms Mathematical logic Computer science—Mathematics Artificial Intelligence Theory of Computation Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Mathematics of Computing Discrete Mathematics in Computer Science |
| Soggetto genere / forma |
Kongress.
Tokio (2009) |
| ISBN |
1-280-38296-1
9786613560872 3-642-02261-8 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials and Invited Talks -- A Characterisation of Definable NP Search Problems in Peano Arithmetic -- Algebraic Valuations as Behavioral Logical Matrices -- Query Answering in Description Logics: The Knots Approach -- Mathematical Logic for Life Science Ontologies -- Recognizability in the Simply Typed Lambda-Calculus -- Logic-Based Probabilistic Modeling -- Contributed Papers -- Completions of Basic Algebras -- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization -- Observational Completeness on Abstract Interpretation -- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability -- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points -- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment -- On-the-Fly Macros -- Abductive Logic Grammars -- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar -- Observational Effort and Formally Open Mappings -- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus -- Property Driven Three-Valued Model Checking on Hybrid Automata -- Team Logic and Second-Order Logic -- Ludics and Its Applications to Natural Language Semantics -- Spoilt for Choice: Full First-Order Hierarchical Decompositions -- Classic-Like Analytic Tableaux for Finite-Valued Logics -- A Duality for Algebras of Lattice-Valued Modal Logic -- An Independence Relation for Sets of Secrets -- Expressing Extension-Based Semantics Based on Stratified Minimal Models -- Deep Inference in Bi-intuitionistic Logic -- : An Action-Based Logic for Reasoning about Contracts -- Ehrenfeucht-Fraïssé Games on Random Structures -- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic -- The Arrow Calculus as a Quantum Programming Language -- Knowledge, Time, and Logical Omniscience. |
| Record Nr. | UNISA-996465412003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information and Computation [[electronic resource] ] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / / edited by Wilfrid Hodges, Ruy de Queiroz
| Logic, Language, Information and Computation [[electronic resource] ] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / / edited by Wilfrid Hodges, Ruy de Queiroz |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VIII, 313 p.) |
| Disciplina | 160 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Logic
Artificial intelligence Computer programming Computers Algorithms Mathematical logic Artificial Intelligence Programming Techniques Theory of Computation Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
| ISBN | 3-540-69937-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming -- On the Descriptive Complexity of Linear Algebra -- Talks on Quantum Computing -- On Game Semantics of the Affine and Intuitionistic Logics -- The Grammar of Scope -- Contributed Papers -- Conjunctive Grammars and Alternating Pushdown Automata -- Expressive Power and Decidability for Memory Logics -- Reasoning with Uncertainty by Nmatrix–Metric Semantics -- A Propositional Dynamic Logic for CCS Programs -- Towards Ontology Evolution in Physics -- Nominal Matching and Alpha-Equivalence -- Interval Additive Generators of Interval T-Norms -- Propositional Dynamic Logic as a Logic of Belief Revision -- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method -- On the Formal Semantics of IF-Like Logics -- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations -- Labelled Calculi for ?ukasiewicz Logics -- An Infinitely-Often One-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined by Kolmogorov Complexity -- Adversary Lower Bounds for Nonadaptive Quantum Algorithms -- On Second-Order Monadic Groupoidal Quantifiers -- Inference Processes for Quantified Predicate Knowledge -- Using ? -ctl to Specify Complex Planning Goals -- Hyperintensional Questions -- Skolem Theory and Generalized Quantifiers -- On a Graph Calculus for Algebras of Relations. |
| Record Nr. | UNISA-996465736503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings / / edited by Dexter Kozen, Ruy de Queiroz
| Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings / / edited by Dexter Kozen, Ruy de Queiroz |
| Autore | Kozen Dexter |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (770 pages) |
| Disciplina | 004 |
| Altri autori (Persone) | de QueirozRuy |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Artificial intelligence Computer Hardware Artificial Intelligence |
| ISBN | 3-031-99536-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Deep Induction for Inductive Families -- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables. -- Logics of Importation and Exportation for the Implicative Conditional. -- Paraconsistent Constructive Modal Logic. -- . Convergence laws for expansions of linear preorders. -- Indicative conditionals: algebraic considerations. -- Abstracting Conceptual Models as a Weakening Process. -- . Axiomatization and Decidability of Tense Information Logic. -- Infinitary Refinement Types for Temporal Properties in Scott Domains. -- On tame semantics for interpretability logic. -- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. -- Insensitive Games: Game Semantics for Modal Insensitivity. -- . Index set complexity for congruence lattices of lattices. -- The Satisfiability Problem in a Separation Logic of Relations. -- Graded Relation Updates in Modal Logic. -- Proof Search in Classical Propositional Logic with Partial Proof Terms. -- A significance-based account of ceteris paribus counterfactuals. -- Tabular intermediate logics comparison. -- Insignificant Choice Polynomial Time -- A Logic Capturing PTIME. -- Counterexamples to Import-Export in Conditionals: A Logical Analysis. |
| Record Nr. | UNISA-996673178103316 |
Kozen Dexter
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings / / edited by George Metcalfe, Thomas Studer, Ruy de Queiroz
| Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings / / edited by George Metcalfe, Thomas Studer, Ruy de Queiroz |
| Autore | Metcalfe George |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (309 pages) |
| Disciplina | 4 |
| Altri autori (Persone) |
StuderThomas
de QueirozRuy |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Artificial intelligence Computer Hardware Artificial Intelligence |
| ISBN |
9783031626876
9783031626869 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Model Theory of Gödel Logic. -- Nothing is Logical. -- Automata Minimisation in Logical Form. -- Probability and Nondeterminism with Multiset Semantics. -- Theory and Practice of Uniform Interpolation. -- Pride and Probability. -- Strict-Tolerant Conditional Logics. -- A linear proof language for second-order intuitionistic linear logic. -- A Logic of Isolation. -- A simple loopcheck for Intuitionistic K. -- Axiomatising Classical Realisability. -- Obtaining Intersection Types via Finite-Set Declaration. -- Syntactic concept lattice models for infinitary action logic. -- Rules of Partial Orthomodularity. -- Labelled Sequent Calculi for Inquisitive Modal Logics. -- Correspondence theory on vector spaces. -- An EXPTIME-complete entailment problem in separation logic. -- (In)consistency operators on quasi-Nelson algebras. -- Lambek Calculus with Banged Atoms for Parasitic Gaps. -- Completeness of Finitely Weighted Kleene Algebra With Tests . -- Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions. -- Validity in Contexts: A Semantics for Indicatives and Epistemic Modals. -- Logical Expressibility of Syntactic NL for Complementarity and Maximization. -- Polyadic Quantifiers on Dependent Types. |
| Record Nr. | UNINA-9910865249003321 |
|
Metcalfe George
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Language, Information, and Computation [[electronic resource] ] : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
| Logic, Language, Information, and Computation [[electronic resource] ] : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 662 p. 1480 illus., 29 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Algorithms Software engineering Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence |
| ISBN | 3-662-59533-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Logic. Computing. Programming Theory -- Natural Language -- Reasoning. |
| Record Nr. | UNISA-996466311903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
| Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 662 p. 1480 illus., 29 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Algorithms Software engineering Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence |
| ISBN | 3-662-59533-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Logic. Computing. Programming Theory -- Natural Language -- Reasoning. |
| Record Nr. | UNINA-9910337843203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Language, Information, and Computation [[electronic resource] ] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / / edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
| Logic, Language, Information, and Computation [[electronic resource] ] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / / edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVIII, 325 p. 29 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer programming Compilers (Computer programs) Software engineering Numerical analysis Formal Languages and Automata Theory Artificial Intelligence Programming Techniques Compilers and Interpreters Software Engineering Numerical Analysis |
| ISBN | 3-662-57669-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465708703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / / edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
| Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / / edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVIII, 325 p. 29 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer programming Compilers (Computer programs) Software engineering Numerical analysis Formal Languages and Automata Theory Artificial Intelligence Programming Techniques Compilers and Interpreters Software Engineering Numerical Analysis |
| ISBN |
9783662576694
3662576694 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349430703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Language, Information, and Computation [[electronic resource] ] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz
| Logic, Language, Information, and Computation [[electronic resource] ] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXII, 447 p. 32 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science—Mathematics Computer science Algorithms Formal Languages and Automata Theory Artificial Intelligence Symbolic and Algebraic Manipulation Computer Science Logic and Foundations of Programming |
| ISBN | 3-662-52921-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal logic -- Computing. -Programming theory -- Natural language and reasoning. |
| Record Nr. | UNISA-996465308203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
