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.
EPIA'91 [[electronic resource] ] : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings / / edited by Pedro Barahona, Luis Moniz Pereira, Antonio Porto
| EPIA'91 [[electronic resource] ] : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings / / edited by Pedro Barahona, Luis Moniz Pereira, Antonio Porto |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (X, 298 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-38459-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Solving linear constraints on finite domains through parsing -- Constraint solving in finite domains under user control -- A new method for solving linear constraints on the natural numbers -- A constraint-based fuzzy inference system -- A constraint-based language for querying taxonomic systems -- Heuristic parsing and search space pruning -- Wave-shaping in multiprocessor bidirectional heuristic state space search -- The extended stable models of contradiction removal semantics -- Modeling a rational cognitive agent in SNePS -- Semantics of property inheritance in a hierarchic system with explicit negation -- Time in confluences: Dealing with delays for consistency-checking -- A temporal representation for imperatively structured plans of actions -- Maximal intervals: An approach to temporal reasoning -- Consistency driven planning -- An efficient approach to planning in assembly tasks -- Towards a theory of the repair process -- Declarative source debugging -- A neural approach to data compression and classification -- Generalization for a propositional calculus: a constraints-based approach -- Adaptive learning using a qualitative feedback loop. |
| Record Nr. | UNISA-996465277503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming and Knowledge Representation [[electronic resource] ] : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / / edited by Luis Moniz Pereira, Teodor C. Przymusinski
| Logic Programming and Knowledge Representation [[electronic resource] ] : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / / edited by Luis Moniz Pereira, Teodor C. Przymusinski |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 252 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Artificial intelligence Mathematical logic Computer programming Computer System Implementation Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-49872-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge representation with logic programs -- Datalog with nested rules -- Partial evidential stable models for disjunctive deductive databases -- Disjunctive logic programming and autoepistemic logic -- A system for abductive learning of logic programs -- Refining action theories through abductive logic programming -- Abduction, argumentation and bi-disjunctive logic programs -- Reasoning with prioritized defaults -- Generalizing updates: From models to programs. |
| Record Nr. | UNINA-9910143495803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programming and Knowledge Representation [[electronic resource] ] : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / / edited by Luis Moniz Pereira, Teodor C. Przymusinski
| Logic Programming and Knowledge Representation [[electronic resource] ] : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / / edited by Luis Moniz Pereira, Teodor C. Przymusinski |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 252 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Artificial intelligence Mathematical logic Computer programming Computer System Implementation Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-49872-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge representation with logic programs -- Datalog with nested rules -- Partial evidential stable models for disjunctive deductive databases -- Disjunctive logic programming and autoepistemic logic -- A system for abductive learning of logic programs -- Refining action theories through abductive logic programming -- Abduction, argumentation and bi-disjunctive logic programs -- Reasoning with prioritized defaults -- Generalizing updates: From models to programs. |
| Record Nr. | UNISA-996466123003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings / / edited by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska
| Logics in Artificial Intelligence [[electronic resource] ] : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings / / edited by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (X, 426 p.) |
| Disciplina | 006.3/01/5113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Architecture, Computer Mathematical logic Artificial Intelligence Computer System Implementation Mathematical Logic and Formal Languages |
| ISBN | 3-540-70643-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hyper tableaux -- An algorithm for the retrieval of unifiers from discrimination trees -- Building proofs or counterexamples by analogy in a resolution framework -- What you always wanted to know about rigid E-unification -- Labelled proofs for quantified modal logic -- A uniform tableaux method for nonmonotonic modal logics -- Design and implementation of diagnostic strategies using modal logic -- A modal action logic based framework for organization specification and analysis -- McCarthy's idea -- Strong and explicit negation in non-monotonic reasoning and logic programming -- Only persistence makes nonmonotonicity monotonous -- Ordering-based representations of rational inference -- Semi-representability of default theories in rational default logic -- A query answering algorithm for Lukaszewicz' general open default theory -- Infinitary default logic for specification of nonmonotonic reasoning -- A system for computing constrained default logic extensions -- The Oz programming model -- An abductive framework for negation in disjunctive logic programming -- Characterizing D-WFS: Confluence and iterated GCWA -- Modules and specifications -- Logic programming with integrity constraints -- Temporal reasoning over linear discrete time -- Similarity saturation for first order linear temporal logic with UNLESS -- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions -- Informational logic for automated reasoning -- Extensions for open default theories via the domain closure assumption -- Revising and updating using a back-up semantics -- A simple signed system for paraconsistent reasoning. |
| Record Nr. | UNISA-996465667803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / / edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski
| Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / / edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIII, 231 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Artificial intelligence Mathematical logic Computer programming Computer System Implementation Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-68702-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general logic programs -- A new logical characterisation of stable models and answer sets -- Aggregation and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints -- Update-programms can update programs -- An abductive proof procedure for reasoning about actions in modal logic programming -- Update programs versus revision programs -- Transformation-based bottom-up computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming. |
| Record Nr. | UNINA-9910144924203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / / edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski
| Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / / edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIII, 231 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Artificial intelligence Mathematical logic Computer programming Computer System Implementation Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-68702-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general logic programs -- A new logical characterisation of stable models and answer sets -- Aggregation and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints -- Update-programms can update programs -- An abductive proof procedure for reasoning about actions in modal logic programming -- Update programs versus revision programs -- Transformation-based bottom-up computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming. |
| Record Nr. | UNISA-996465531703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning with Logic Programming [[electronic resource] /] / by Jose Julio Alferes, Luis Moniz Pereira
| Reasoning with Logic Programming [[electronic resource] /] / by Jose Julio Alferes, Luis Moniz Pereira |
| Autore | Alferes Jose Julio |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XXIV, 336 p.) |
| Disciplina | 006.3/3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Artificial intelligence Computer programming Computer logic Mathematical logic Computer System Implementation Programming Languages, Compilers, Interpreters Artificial Intelligence Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-68674-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Normal logic programs -- Extended logic programs -- Why a new semantics for extended programs? -- WFSX — A well founded semantics for extended logic programs -- WFSX, LP semantics with two negations, and autoepistemic logics -- WFSX and default logic -- WFSX and hypotheses abduction -- Dealing with contradiction -- Further properties and comparisons -- Top-down derivation procedures for WFSX -- Application to classical nonmonotonic reasoning problems -- Application to diagnosis and debugging. |
| Record Nr. | UNISA-996465296703316 |
Alferes Jose Julio
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||