AIIA 2015 Advances in Artificial Intelligence [[electronic resource] ] : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / / edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 480 p. 118 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Computers User interfaces (Computer systems) Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computation by Abstract Devices User Interfaces and Human Computer Interaction Pattern Recognition |
ISBN | 3-319-24309-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Swarm intelligence and genetic algorithms -- Computer vision -- Multi-agents systems -- Knowledge representation and reasoning -- Machine learning -- Semantic web -- Natural language -- Scheduling, planning and robotics. |
Record Nr. | UNISA-996466322203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
AIIA 2015 Advances in Artificial Intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / / edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 480 p. 118 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Computers User interfaces (Computer systems) Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computation by Abstract Devices User Interfaces and Human Computer Interaction Pattern Recognition |
ISBN | 3-319-24309-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Swarm intelligence and genetic algorithms -- Computer vision -- Multi-agents systems -- Knowledge representation and reasoning -- Machine learning -- Semantic web -- Natural language -- Scheduling, planning and robotics. |
Record Nr. | UNINA-9910482964303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
AIIA 99:Advances in Artificial Intelligence [[electronic resource] ] : 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers / / edited by Evelina Lamma, Paolo Mello |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XI, 394 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-46238-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge Representation -- Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled -- A Description Logic for Image Retrieval -- Certainty-factor-like Structures in Bayesian Networks -- Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks -- Automated Reasoning -- Abduction with Negation as Failure for Active and Reactive Rules -- An Implementation for Abductive Logic Agents -- Solving the Satisfiability Problem Through Boolean Networks -- Applying the Davis-Putnam procedure to non-clausal formulas -- The SAT-Based Approach for Classical Modal Logics -- Local Search Techniques for Disjunctive Logic Programs -- Labelled Tableaux for Non-Normal Modal Logics -- Temporal and Qualitative Reasoning -- Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events -- TimeNetManager — A Software Tool for Generating Random Temporal Networks -- A fuzzy extension of Allen’s Interval Algebra -- Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems -- Machine Learning, Data Mining and Theory Revision -- Relational Learning: Hard Problems and Phase Transitions -- A Machine Learning Approach to Web Mining -- Experiences with a Logic-based Knowledge Discovery Support Environment -- Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process -- Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the “Hidden” Activation Functions -- Natural Language and WWW Interfaces -- XIG: Generating from Interchange Format using Mixed Representations -- Natural Language Access to Public Administration Data: the TAMIC-P System -- On the application of personalization techniques to news servers on the WWW -- Multi-agent Systems -- Levels of Delegation and Levels of Adoption as the basis for Adjustable Autonomy -- Notes on formalizing coordination? -- Autonomous Spacecraft Resource Management: A Multi-Agent Approach -- Multi-Agent Scene Interpretation -- An Algorithm for Recruitment of Agents in Agency Design -- Perception and Robotics -- Towards a Conceptual Representation of Actions -- Cellular Automata based Inverse Perspective Transform as a Tool for Indoor Robot Navigation -- Planning and Scheduling -- On Plan Adaptation through Planning Graph Analysis -- Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach -- Solving Employee Timetabling Problems by Generalized Local Search. |
Record Nr. | UNISA-996465610103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
AIIA 99:Advances in Artificial Intelligence : 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers / / edited by Evelina Lamma, Paolo Mello |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XI, 394 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-46238-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge Representation -- Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled -- A Description Logic for Image Retrieval -- Certainty-factor-like Structures in Bayesian Networks -- Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks -- Automated Reasoning -- Abduction with Negation as Failure for Active and Reactive Rules -- An Implementation for Abductive Logic Agents -- Solving the Satisfiability Problem Through Boolean Networks -- Applying the Davis-Putnam procedure to non-clausal formulas -- The SAT-Based Approach for Classical Modal Logics -- Local Search Techniques for Disjunctive Logic Programs -- Labelled Tableaux for Non-Normal Modal Logics -- Temporal and Qualitative Reasoning -- Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events -- TimeNetManager — A Software Tool for Generating Random Temporal Networks -- A fuzzy extension of Allen’s Interval Algebra -- Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems -- Machine Learning, Data Mining and Theory Revision -- Relational Learning: Hard Problems and Phase Transitions -- A Machine Learning Approach to Web Mining -- Experiences with a Logic-based Knowledge Discovery Support Environment -- Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process -- Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the “Hidden” Activation Functions -- Natural Language and WWW Interfaces -- XIG: Generating from Interchange Format using Mixed Representations -- Natural Language Access to Public Administration Data: the TAMIC-P System -- On the application of personalization techniques to news servers on the WWW -- Multi-agent Systems -- Levels of Delegation and Levels of Adoption as the basis for Adjustable Autonomy -- Notes on formalizing coordination? -- Autonomous Spacecraft Resource Management: A Multi-Agent Approach -- Multi-Agent Scene Interpretation -- An Algorithm for Recruitment of Agents in Agency Design -- Perception and Robotics -- Towards a Conceptual Representation of Actions -- Cellular Automata based Inverse Perspective Transform as a Tool for Indoor Robot Navigation -- Planning and Scheduling -- On Plan Adaptation through Planning Graph Analysis -- Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach -- Solving Employee Timetabling Problems by Generalized Local Search. |
Record Nr. | UNINA-9910143634403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Extensions of Logic Programming [[electronic resource] ] : Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings / / edited by Evelina Lamma, Paola Mello |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (X, 426 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Artificial intelligence Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Artificial Intelligence Programming Techniques |
ISBN | 3-540-47562-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | SLWV — A theorem prover for logic programming -- A Correct goal-directed proof procedure for a general logic program with integrity constraints -- Declarative semantics of hypothetical logic programming with negation as failure -- Conditional narrowing with constructive negation -- CLP (AD) as a deductive database language with updates -- Logic programming with functions over order-sorted feature terms -- A direct semantic characterization of RELFUN -- Embedding finite sets in a logic programming language -- A modal framework for structured logic programs -- Metalogic for state oriented programming -- On the semantics of inheritance in logic programming: Compositionality and full abstraction -- The abstract scheme for concurrent programming -- The π-calculus as a theory in linear logic: Preliminary results -- Natural deduction proof theory for logic programming -- A typed foundation for directional logic programming -- An architecture for Prolog extensions -- Techniques for implementing contexts in Logic Programming -- Implementing a notion of modules in the logic programming language λProlog -- Implementational issues in GCLA: A-sufficiency and the definiens operation. |
Record Nr. | UNISA-996466077603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|