.. IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications |
Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , [2013]- |
Disciplina | 006.3 |
Soggetto topico |
Computational intelligence
Virtual reality Measurement Fuzzy sets |
Soggetto genere / forma | Conference papers and proceedings. |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996280127003316 |
Piscataway, NJ : , : IEEE, , [2013]- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
.. IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications |
Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , [2013]- |
Disciplina | 006.3 |
Soggetto topico |
Computational intelligence
Virtual reality Measurement Fuzzy sets |
Soggetto genere / forma | Conference papers and proceedings. |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
CIVEMSA ..
IEEE CIVEMSA Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA), ... IEEE International Conference on |
Record Nr. | UNINA-9910626199103321 |
Piscataway, NJ : , : IEEE, , [2013]- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
.. International Conference on Intelligent Systems, Theories and Applications |
Pubbl/distr/stampa | Piscataway, NJ : , : IEEE |
Disciplina | 006.3 |
Soggetto topico |
Artificial intelligence
Computational intelligence Computer networks |
Soggetto genere / forma | Conference papers and proceedings. |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
SITA ..
Intelligent Systems: Theories and Applications (SITA), ... International Conference on |
Record Nr. | UNINA-9910626177503321 |
Piscataway, NJ : , : IEEE | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
.. International Conference on Intelligent Systems, Theories and Applications |
Pubbl/distr/stampa | Piscataway, NJ : , : IEEE |
Disciplina | 006.3 |
Soggetto topico |
Artificial intelligence
Computational intelligence Computer networks |
Soggetto genere / forma | Conference papers and proceedings. |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
SITA ..
Intelligent Systems: Theories and Applications (SITA), ... International Conference on |
Record Nr. | UNISA-996581536203316 |
Piscataway, NJ : , : IEEE | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
10th International Conference on Automated Deduction [[electronic resource] ] : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / / edited by Mark E. Stickel |
Edizione | [1st ed. 1990.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
Descrizione fisica | 1 online resource (XVIII, 690 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-47171-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A theorem prover for a computational logic -- A complete semantic back chaining proof system -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem prover -- Substitution-based compilation of extended rules in deductive databases -- Automatic theorem proving in paraconsistent logics: Theory and implementation -- Case-free programs: An abstraction of definite horn programs -- Generalized well-founded semantics for logic programs -- Tactical theorem proving in program verification -- Extensions to the rippling-out tactic for guiding inductive proofs -- Guiding induction proofs -- Term rewriting induction -- A resolution principle for clauses with constraints -- Str+ve: The Str+ve-based subset prover -- Ritt-Wu's decomposition algorithm and geometry theorem proving -- Encoding a dependent-type ?-calculus in a logic programming language -- Investigations into proof-search in a system of first-order dependent function types -- Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete -- An improved general E-unification method -- Some results on equational unification -- Unification in a combination of equational theories: an efficient algorithm -- SLIM: An automated reasoner for equivalences, applied to set theory -- An examination of the prolog technology theorem-prover -- Presenting intuitive deductions via symmetric simplification -- Toward mechanical methods for streamlining proofs -- Ordered rewriting and confluence -- Complete sets of reductions with constraints -- Rewrite systems for varieties of semigroups -- Improving associative path orderings -- Perspectives on automated deduction -- On restrictions of ordered paramodulation with simplification -- Simultaneous paramodulation -- Hyper resolution and equality axioms without function substitutions -- Automatic acquisition of search guiding heuristics -- Automated reasoning contributes to mathematics and logic -- A mechanically assisted constructive proof in category theory -- Dynamic logic as a uniform framework for theorem proving in intensional logic -- A tableaux-based theorem prover for a decidable subset of default logic -- Computing prime implicants -- Minimizing the number of clauses by renaming -- Higher order E-unification -- Programming by example and proving by example using higher-order unification -- Retrieving library identifiers via equational matching of types -- Unification in monoidal theories -- A science of reasoning: Extended abstract -- The TPS theorem proving system -- Schemata -- Cylindric algebra equation solver -- The OYSTER-CLAM system -- A high-performance parallel theorem prover -- The romulus proof checker -- IMPS : An interactive mathematical proof system -- UNICOM: A refined completion based inductive theorem prover -- The theorem prover of the program verifier Tatzelwurm -- RCL: A lisp verification system -- Orme an implementation of completion procedures as sets of transitions rules -- Otter 2.0 -- Dissolver: A dissolution-based theorem prover -- TRIP: An implementation of clausal rewriting -- OSCAR -- Expert thinker: An adaptation of F-Prolog to microcomputers -- A prolog technology theorem prover -- A general clause theorem prover -- Liss — The logic inference search system -- ACE: The abstract clause engine -- Tutorial on high-performance automated theorem proving -- Tutorial on reasoning and representation with concept languages -- Tutorial on ?Prolog -- Tutorial on equational unification -- Tutorial on compilation techniques for logics -- Tutorial on high-performance theorem provers: Efficient implementation and parallelisation -- Tutorial on rewrite-based theorem proving -- Tutorial on program-synthetic deduction -- Tutorial on computing models of propositional logics. |
Record Nr. | UNISA-996465843003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
10th International Conference on Information, Intelligence, Systems and Applications (IISA) / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , 2019 |
Descrizione fisica | 1 online resource (108 pages) |
Disciplina | 006.3 |
Soggetto topico | Artificial intelligence |
ISBN | 1-7281-4959-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910350260103321 |
Piscataway, NJ : , : IEEE, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
10th International Conference on Information, Intelligence, Systems and Applications (IISA) / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , 2019 |
Descrizione fisica | 1 online resource (108 pages) |
Disciplina | 006.3 |
Soggetto topico | Artificial intelligence |
ISBN | 1-7281-4959-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996575446203316 |
Piscataway, NJ : , : IEEE, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
10th International Conference on Soft Computing Models in Industrial and Environmental Applications [[electronic resource] /] / edited by Álvaro Herrero, Javier Sedano, Bruno Baruque, Héctor Quintián, Emilio Corchado |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (471 p.) |
Disciplina | 006.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-319-19719-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Applications -- Classification and Clustering Methods -- Evolutionary Computation and Optimization -- Intelligent Systems -- SOCO15-SS01: Soft Computing Methods in Bioinformatics -- SOCO15-SS02: Optimization, Modeling and Control Systems (OMCS) -- SOCO15-SS03: Soft Computing Approaches for Knowledge Extraction -- SOCO15-SS04: Soft Computing Methods in Manufacturing and Management Systems. |
Record Nr. | UNINA-9910733713003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
10th International Conference on Theory and Application of Soft Computing, Computing with Words and Perceptions - ICSCCW-2019 [[electronic resource] /] / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo Jamshidi, Mustafa B. Babanli, Fahreddin M. Sadikoglu |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (997 pages) |
Disciplina | 006.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-030-35249-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483980403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
11th Hellenic Conference on Artificial Intelligence / / Association for Computing Machinery |
Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2020 |
Descrizione fisica | 1 online resource (249 pages) : illustrations |
Disciplina | 006.3 |
Soggetto topico |
Artificial intelligence
Computer science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910418312903321 |
New York : , : Association for Computing Machinery, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|