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.
Correct Reasoning [[electronic resource] ] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
| Correct Reasoning [[electronic resource] ] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XI, 594 p. 41 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science Software engineering Computer programming Compilers (Computer programs) Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters |
| ISBN | 3-642-30743-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465562103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in AI [[electronic resource] ] : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / / edited by David Pearce, Gerd Wagner
| Logics in AI [[electronic resource] ] : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / / edited by David Pearce, Gerd Wagner |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (VIII, 412 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Artificial Intelligence Mathematical Logic and Foundations Mathematical Logic and Formal Languages Logics and Meanings of Programs |
| ISBN | 3-540-47304-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A modal theory of arrows. Arrow logics I -- Knowledge without modality: A simplified framework for chronological ignorance -- Design complete sequential calculus for continuous fixpoint temporal logic -- Logical omniscience and classical logic -- Weak implication: Theory and applications -- Deriving inference rules for terminological logics -- Linear proofs and linear logic -- Relevance and revision -- Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report) -- A framework for default logics -- A conceptualization of preferences in non-monotonic proof theory -- Reasoning with defeasible arguments: Examples and applications -- About deductive generalization -- Transition systems and dynamic semantics -- Declarative semantics for inconsistent database programs -- Tableau-based theorem proving and synthesis of ?-terms in the intuitionistic logic -- A constructive type system based on data terms -- An ordered resolution and paramodulation calculus for finite many-valued logics -- An efficient constraint language for polymorphic order-sorted resolution -- Default theory for Well Founded Semantics with explicit negation -- Computing answers for disjunctive logic programs -- Expanding logic programs -- Disjunctive logic programming, constructivity and strong negation. |
| Record Nr. | UNISA-996465486903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings / / edited by Craig MacNish, David Pearce, Luis M. Pereira
| Logics in Artificial Intelligence [[electronic resource] ] : European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings / / edited by Craig MacNish, David Pearce, Luis M. Pereira |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (IX, 416 p.) |
| Disciplina | 006.3/01/5113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs |
| ISBN | 3-540-48657-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Carnap's modal logic to autoepistemic logic -- Compactness properties of nonmonotonic inference operations -- Around a powerful property of circumscriptions -- The computational value of joint consistency -- Belief dynamics, abduction, and databases -- On the logic of theory base change -- Belief, provability, and logic programs -- Revision specifications by means of programs -- Revision of non-monotonic theories -- A complete connection calculus with rigid E-unification -- Equality and constrained resolution -- Efficient strategies for Automated reasoning in modal logics -- TAS-D++: Syntactic trees transformations for Automated Theorem Proving -- A unification of ordering refinements of resolution in classical logic -- Two logical dimensions -- Prioritized autoepistemic logic -- Adding priorities and specificity to default logic -- Viewing hypothesis theories as constrained graded theories -- Temporal theories of reasoning -- Reasoning about knowledge on computation trees -- Prepositional state event logic -- Description Logics with inverse roles, functional restrictions, and n-ary relations -- On the concept of generic object: A nonmonotonic reasoning approach and examples -- Autoepistemic logic of minimal beliefs -- How to use modalities and sorts in Prolog -- Towards resource handling in logic programming: The PPL framework and its semantics -- Extending Horn clause theories by reflection principles. |
| Record Nr. | UNISA-996466097003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Nonclassical Logics and Information Processing [[electronic resource] ] : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings / / edited by David Pearce, Heinrich Wansing
| Nonclassical Logics and Information Processing [[electronic resource] ] : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings / / edited by David Pearce, Heinrich Wansing |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (IX, 175 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computers
Computer logic Mathematical logic Artificial intelligence Theory of Computation Logics and Meanings of Programs Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-47280-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algebraic aspects of the relational knowledge representation: Modal relation algebras -- A logic for memory -- Actions with preconditions and postconditions -- Testclasses and closed world assumptions for non-horn theories -- Reasoning with negative information, II: Hard negation, strong negation and logic programs -- Lindenbaum-algebraic semantics of logic programs -- Conditional logics and cumulative logics -- Semantics of nonmonotonic reasoning in logic programming -- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic -- Cut-elimination in logics with definitional reflection. |
| Record Nr. | UNISA-996465479903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Language Engineering [[electronic resource] ] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju
| Software Language Engineering [[electronic resource] ] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 354 p. 123 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-319-11245-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas: Island Parsing Without Shipwrecks -- Eco: A Language Composition -- The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers -- Evaluating the Usability of a Visual Feature Modeling Notation -- A Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications -- fUML as an Assembly Language for Model Transformation -- Respect Your Parents: How Attribution and Rewriting Can Get Along -- Monto: A Disintegrated Development Environment -- Model Checking of CTL-Extended OCL Specifications -- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation -- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle -- Origin Tracking in Attribute Grammars -- Dynamic Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow -- Test-Data Generation for Xtext (Tool Paper). |
| Record Nr. | UNISA-996199683903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Language Engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju
| Software Language Engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 354 p. 123 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-319-11245-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas: Island Parsing Without Shipwrecks -- Eco: A Language Composition -- The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers -- Evaluating the Usability of a Visual Feature Modeling Notation -- A Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications -- fUML as an Assembly Language for Model Transformation -- Respect Your Parents: How Attribution and Rewriting Can Get Along -- Monto: A Disintegrated Development Environment -- Model Checking of CTL-Extended OCL Specifications -- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation -- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle -- Origin Tracking in Attribute Grammars -- Dynamic Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow -- Test-Data Generation for Xtext (Tool Paper). |
| Record Nr. | UNINA-9910483063503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||