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.
Frontiers of Combining Systems [[electronic resource] ] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / / edited by Clare Dixon, Marcelo Finger
| Frontiers of Combining Systems [[electronic resource] ] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / / edited by Clare Dixon, Marcelo Finger |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 351 p. 38 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Software engineering Algorithms Application software Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-66167-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic -- Designing Theory Solvers with Extensions -- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation -- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors -- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case) -- Subtropical Satisfiability -- Finitariness of Elementary Unification in Boolean Region Connection Calculus -- Metric Temporal Description Logics with Interval-Rigid Names -- Superposition with Integrated Induction -- The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable -- Decidable Verification of Decision-Theoretic Golog -- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions -- Complexity Analysis for Term Rewriting by Integer Transition Systems -- Using Ontologies to Query Probabilistic Numerical Data -- Merging Fragments of Classical Logic -- On Solving Nominal Fixpoint Equations -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report -- The Boolean Solution Problem from the Perspective of Predicate Logic. . |
| Record Nr. | UNISA-996465572003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / / edited by Clare Dixon, Marcelo Finger
| Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / / edited by Clare Dixon, Marcelo Finger |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 351 p. 38 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Software engineering Algorithms Application software Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-66167-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic -- Designing Theory Solvers with Extensions -- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation -- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors -- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case) -- Subtropical Satisfiability -- Finitariness of Elementary Unification in Boolean Region Connection Calculus -- Metric Temporal Description Logics with Interval-Rigid Names -- Superposition with Integrated Induction -- The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable -- Decidable Verification of Decision-Theoretic Golog -- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions -- Complexity Analysis for Term Rewriting by Integer Transition Systems -- Using Ontologies to Query Probabilistic Numerical Data -- Merging Fragments of Classical Logic -- On Solving Nominal Fixpoint Equations -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report -- The Boolean Solution Problem from the Perspective of Predicate Logic. . |
| Record Nr. | UNINA-9910484370503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999
| Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 1999 |
| Disciplina | 006.3/33 |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996201993203316 |
| [Place of publication not identified], : IEEE Computer Society, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999
| Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 1999 |
| Disciplina | 006.3/33 |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872891303321 |
| [Place of publication not identified], : IEEE Computer Society, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards Autonomous Robotic Systems [[electronic resource] ] : 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings / / edited by Clare Dixon, Karl Tuyls
| Towards Autonomous Robotic Systems [[electronic resource] ] : 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings / / edited by Clare Dixon, Karl Tuyls |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIII, 312 p. 168 illus.) |
| Disciplina | 006.312 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing User interfaces (Computer systems) Data mining Computers Application software Artificial Intelligence Image Processing and Computer Vision User Interfaces and Human Computer Interaction Data Mining and Knowledge Discovery Computation by Abstract Devices Information Systems Applications (incl. Internet) |
| ISBN | 3-319-22416-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996215641703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Towards Autonomous Robotic Systems : 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings / / edited by Clare Dixon, Karl Tuyls
| Towards Autonomous Robotic Systems : 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings / / edited by Clare Dixon, Karl Tuyls |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIII, 312 p. 168 illus.) |
| Disciplina | 006.312 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing User interfaces (Computer systems) Data mining Computers Application software Artificial Intelligence Image Processing and Computer Vision User Interfaces and Human Computer Interaction Data Mining and Knowledge Discovery Computation by Abstract Devices Information Systems Applications (incl. Internet) |
| ISBN | 3-319-22416-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484106703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||