France, Belgium, Bulgaria, Poland, Portugal [[electronic resource] /] / edited by Wolfgang Faber, Brigitta Lurger |
Pubbl/distr/stampa | Munich, : Sellier European Law Publishers, 2011 |
Descrizione fisica | 1 online resource (737 p.) |
Disciplina | 346.73043 |
Altri autori (Persone) |
FaberWolfgang
LurgerBrigitta |
Collana |
National reports on the transfer of movables in Europe
Schriften zur Europäischen Rechtswissenschaft =European legal studies =Etudes juridiques euroṕennes |
Soggetto topico | Transfer (Law) - Europe |
Soggetto genere / forma | Electronic books. |
ISBN |
1-283-43086-X
9786613430861 3-86653-922-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Preface -- List of Contributors -- Contents -- National Report on the Transfer of Movables in France / Cashin Ritaine, Eleanor -- National Report on the Transfer of Movables in Belgium / Cauffman, Caroline / Sagaert,, Vincent -- National Report on the Transfer of Movables in Bulgaria / Stoimenov, Dimitar -- National Report on the Transfer of Movables in Poland / Pisuliński, Jerzy / Zaradkiewicz, Kamil -- National Report on the Transfer of Movables in Portugal / Caramelo-Gomes, José / Carlos de Medeiros Nóbrega, José -- Backmatter |
Record Nr. | UNINA-9910465340203321 |
Munich, : Sellier European Law Publishers, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
France, Belgium, Bulgaria, Poland, Portugal [[electronic resource] /] / edited by Wolfgang Faber, Brigitta Lurger |
Pubbl/distr/stampa | Munich, : Sellier European Law Publishers, 2011 |
Descrizione fisica | 1 online resource (737 p.) |
Disciplina | 346.73043 |
Altri autori (Persone) |
FaberWolfgang
LurgerBrigitta |
Collana |
National reports on the transfer of movables in Europe
Schriften zur Europäischen Rechtswissenschaft =European legal studies =Etudes juridiques euroṕennes |
Soggetto topico | Transfer (Law) - Europe |
ISBN |
1-283-43086-X
9786613430861 3-86653-922-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Preface -- List of Contributors -- Contents -- National Report on the Transfer of Movables in France / Cashin Ritaine, Eleanor -- National Report on the Transfer of Movables in Belgium / Cauffman, Caroline / Sagaert,, Vincent -- National Report on the Transfer of Movables in Bulgaria / Stoimenov, Dimitar -- National Report on the Transfer of Movables in Poland / Pisuliński, Jerzy / Zaradkiewicz, Kamil -- National Report on the Transfer of Movables in Portugal / Caramelo-Gomes, José / Carlos de Medeiros Nóbrega, José -- Backmatter |
Record Nr. | UNINA-9910791755003321 |
Munich, : Sellier European Law Publishers, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
France, Belgium, Bulgaria, Poland, Portugal [[electronic resource] /] / edited by Wolfgang Faber, Brigitta Lurger |
Pubbl/distr/stampa | Munich, : Sellier European Law Publishers, 2011 |
Descrizione fisica | 1 online resource (737 p.) |
Disciplina | 346.73043 |
Altri autori (Persone) |
FaberWolfgang
LurgerBrigitta |
Collana |
National reports on the transfer of movables in Europe
Schriften zur Europäischen Rechtswissenschaft =European legal studies =Etudes juridiques euroṕennes |
Soggetto topico | Transfer (Law) - Europe |
ISBN |
1-283-43086-X
9786613430861 3-86653-922-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Preface -- List of Contributors -- Contents -- National Report on the Transfer of Movables in France / Cashin Ritaine, Eleanor -- National Report on the Transfer of Movables in Belgium / Cauffman, Caroline / Sagaert,, Vincent -- National Report on the Transfer of Movables in Bulgaria / Stoimenov, Dimitar -- National Report on the Transfer of Movables in Poland / Pisuliński, Jerzy / Zaradkiewicz, Kamil -- National Report on the Transfer of Movables in Portugal / Caramelo-Gomes, José / Carlos de Medeiros Nóbrega, José -- Backmatter |
Record Nr. | UNINA-9910815036303321 |
Munich, : Sellier European Law Publishers, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Germany, Greece, Lithuania, Hungary [[electronic resource] /] / edited by Wolfgang Faber, Brigitta Lurger |
Pubbl/distr/stampa | Munich, : Sellier European Law Publishers, 2011 |
Descrizione fisica | 1 online resource (713 p.) |
Disciplina | 346.4604 |
Altri autori (Persone) |
FaberWolfgang
LurgerBrigitta |
Collana |
National reports on the transfer of movables in Europe
Schriften zur Europäischen Rechtswissenschaft =European legal studies =Etudes juridiques euroṕennes |
Soggetto topico | Transfer (Law) - Europe |
Soggetto genere / forma | Electronic books. |
ISBN |
1-283-43085-1
9786613430854 3-86653-900-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Preface -- List of Contributors -- Contents -- National Report on the Transfer of Movables in Germany / McGuire, Mary-Rose -- National Report on the Transfer of Movables in Greece / Klaoudatou, Christina -- National Report on the Transfer of Movables in Lithuania / Mikelenas, Valentinas -- National Report on the Transfer of Movables in Hungary / Szilágyi, Ferenc |
Record Nr. | UNINA-9910465304603321 |
Munich, : Sellier European Law Publishers, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Germany, Greece, Lithuania, Hungary [[electronic resource] /] / edited by Wolfgang Faber, Brigitta Lurger |
Pubbl/distr/stampa | Munich, : Sellier European Law Publishers, 2011 |
Descrizione fisica | 1 online resource (713 p.) |
Disciplina | 346.4604 |
Altri autori (Persone) |
FaberWolfgang
LurgerBrigitta |
Collana |
National reports on the transfer of movables in Europe
Schriften zur Europäischen Rechtswissenschaft =European legal studies =Etudes juridiques euroṕennes |
Soggetto topico | Transfer (Law) - Europe |
ISBN |
1-283-43085-1
9786613430854 3-86653-900-2 |
Classificazione | PS 3730 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Preface -- List of Contributors -- Contents -- National Report on the Transfer of Movables in Germany / McGuire, Mary-Rose -- National Report on the Transfer of Movables in Greece / Klaoudatou, Christina -- National Report on the Transfer of Movables in Lithuania / Mikelenas, Valentinas -- National Report on the Transfer of Movables in Hungary / Szilágyi, Ferenc |
Record Nr. | UNINA-9910791756303321 |
Munich, : Sellier European Law Publishers, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Germany, Greece, Lithuania, Hungary [[electronic resource] /] / edited by Wolfgang Faber, Brigitta Lurger |
Pubbl/distr/stampa | Munich, : Sellier European Law Publishers, 2011 |
Descrizione fisica | 1 online resource (713 p.) |
Disciplina | 346.4604 |
Altri autori (Persone) |
FaberWolfgang
LurgerBrigitta |
Collana |
National reports on the transfer of movables in Europe
Schriften zur Europäischen Rechtswissenschaft =European legal studies =Etudes juridiques euroṕennes |
Soggetto topico | Transfer (Law) - Europe |
ISBN |
1-283-43085-1
9786613430854 3-86653-900-2 |
Classificazione | PS 3730 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Preface -- List of Contributors -- Contents -- National Report on the Transfer of Movables in Germany / McGuire, Mary-Rose -- National Report on the Transfer of Movables in Greece / Klaoudatou, Christina -- National Report on the Transfer of Movables in Lithuania / Mikelenas, Valentinas -- National Report on the Transfer of Movables in Hungary / Szilágyi, Ferenc |
Record Nr. | UNINA-9910823538403321 |
Munich, : Sellier European Law Publishers, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings / / edited by James Delgrande, Wolfgang Faber |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIII, 406 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Computer logic Mathematical logic Software engineering Computer programming Artificial Intelligence Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques |
ISBN | 3-642-20895-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465434903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / / edited by Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 454 p.) |
Disciplina | 005.1/15 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
ISBN | 3-540-45402-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- A Computational Logic Approach to Heterogenous Agent Systems -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto -- On The Complexity of Model Checking and Inference in Minimal Models -- Data Integration Needs Reasoning -- Nonmonotomic Inductive Logic Programming -- Regular Papers -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules -- On the Expressibility of Stable Logic Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs -- Reasoning with Open Logic Programs -- Representation of Incomplete Knowledge by Induction of Default Theories -- Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules -- Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded LTL Model Checking with Stable Models -- Diagnosing Physical Systems in A-Prolog -- Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach -- Encoding Solutions of the Frame Problem in Dynamic Logic -- ?-RES: Reasoning about Actions, Events and Observations -- Omega-Restricted Logic Programs -- Improving ASP Instantiators by Join-Ordering Methods -- Optimizing the Computation of Heuristics for Answer Set Programming Systems -- New Generation Systems for Non-monotonic Reasoning -- Algorithms for Computing X-Minimal Models -- Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Multi-adjoint Logic Programming with Continous Semantics -- Multi-dimensional Dynamic Knowledge Representation -- Antitonic Logic Programs -- System Description -- A-system: Declarative Programming with Abduction -- An Update Front-End for Extended Logic Programs -- aspps — An Implementation of Answer-Set Programming with Propositional Schemata -- NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics -- plp: A Generic Compiler for Ordered Logic Programs -- Prototypes for Reasoning with Infinite Stable Models and Function Symbols -- psmodels: Stable Models Based on Pertinence -- System Description: DLV -- System Description: The DLVK Planning System -- The Smodels System -- The USA-Advisor: A Case Study in Answer Set Planning. |
Record Nr. | UNINA-9910143624003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / / edited by Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 454 p.) |
Disciplina | 005.1/15 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
ISBN | 3-540-45402-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- A Computational Logic Approach to Heterogenous Agent Systems -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto -- On The Complexity of Model Checking and Inference in Minimal Models -- Data Integration Needs Reasoning -- Nonmonotomic Inductive Logic Programming -- Regular Papers -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules -- On the Expressibility of Stable Logic Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs -- Reasoning with Open Logic Programs -- Representation of Incomplete Knowledge by Induction of Default Theories -- Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules -- Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded LTL Model Checking with Stable Models -- Diagnosing Physical Systems in A-Prolog -- Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach -- Encoding Solutions of the Frame Problem in Dynamic Logic -- ?-RES: Reasoning about Actions, Events and Observations -- Omega-Restricted Logic Programs -- Improving ASP Instantiators by Join-Ordering Methods -- Optimizing the Computation of Heuristics for Answer Set Programming Systems -- New Generation Systems for Non-monotonic Reasoning -- Algorithms for Computing X-Minimal Models -- Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Multi-adjoint Logic Programming with Continous Semantics -- Multi-dimensional Dynamic Knowledge Representation -- Antitonic Logic Programs -- System Description -- A-system: Declarative Programming with Abduction -- An Update Front-End for Extended Logic Programs -- aspps — An Implementation of Answer-Set Programming with Propositional Schemata -- NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics -- plp: A Generic Compiler for Ordered Logic Programs -- Prototypes for Reasoning with Infinite Stable Models and Function Symbols -- psmodels: Stable Models Based on Pertinence -- System Description: DLV -- System Description: The DLVK Planning System -- The Smodels System -- The USA-Advisor: A Case Study in Answer Set Planning. |
Record Nr. | UNISA-996465803803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logics in artificial intelligence : 17th European conference, JELIA 2021, virtual event, May 17-20, 2021, proceedings / / editors, Wolfgang Faber [and three others] |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XIII, 459 p. 60 illus., 36 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
ISBN | 3-030-75775-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Graph-Classes of Argumentation Frameworks with Collective Attacks -- Introducing a Tool for Concurrent Argumentation -- Probabilistic Argumentation: an Approach Based on Conditional Probability – a Preliminary Report -- Conditional Descriptor Revision and its Implementation by a CSP -- Trust is All You Need: From Belief Revision to Information Revision -- Computing Defeasible Meta-Logic -- Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies -- An Epistemic Logic for Multi-Agent Systems with Budget and Costs -- Epistemic Reasoning About Rationality and Bids in Auction -- Tractable Combinations of Theories via Sampling -- Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems -- Residuation for Lexicographic Orders -- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment -- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics -- ReAD: AD-Based Modular Ontology Classification -- Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model -- A Computationally Grounded Logic of Graded Belief -- Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals -- An Epistemic Probabilistic Logic With Conditional Probabilities -- On Syntactic Forgetting under Uniform Equivalence -- Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP -- Tractable Reasoning Using Logic Programs with Intensional Concepts -- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor -- Testing in ASP: Revisited Language and Programming Environment -- An Abstract View on Optimizations in SAT and ASP -- Model Reconciliation in Logic Programs -- Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt -- Transforming Gringo Rules Into Formulas in a Natural Way -- DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework -- A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. |
Record Nr. | UNINA-9910483765403321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|