Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "existential"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"006 - Special computer methods"
Showing
1
-
20
of
36
Search:
'"existential"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Published 2015
Springer International Publishing
Table of Contents:
“
...General RuleML track -- Complex event processing track --
Existential
rules and datalog+/- track...
”
Read Now
2
Graph Structures for Knowledge Representation and Reasoning : Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
... -- gai-nets -- euler diagrams --
existential
graphs -- semantic Web -- recommender systems...
”
Read Now
3
Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... -- An Embedding of
Existential
Graphs into Concept Graphs with Negations -- Interpretation of Automata in Temporal...
”
Read Now
4
The Technological Singularity
by
Shanahan, Murray
Published 2015
Ascent Audio
“
..., or HAL?) The singularity presents both an
existential
threat to humanity and an
existential
opportunity...
”
Read Now
5
Conceptual Structures: Applications, Implementation and Theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995. Proce...
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... -- Conceptual graphs and first-order logic --
Existential
graphs and dynamic predicate logic...
”
Read Now
6
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Re...
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... -- Complexity of a CHR Solver for
Existentially
Quantified Conjunctions of Equations over Trees -- Efficient...
”
Read Now
7
Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Published 2018
Springer International Publishing
Table of Contents:
“
... for the
existential
fragment -- Dynamic Logic: A personal perspective -- The Creation and Change of Social Networks: a...
”
Read Now
8
The Transhumanism Handbook
Published 2019
Springer International Publishing
“
... in the evolution of humankind, and it is the
existential
solution to the long-term survival of the human race...
”
Read Now
9
Conceptual Structures: Knowledge Representations as Interlingua : 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedin...
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... -- Computational situation theory in the conceptual graph language --
Existential
graphs and tense logic...
”
Read Now
10
Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Pap...
Published 2014
Springer International Publishing
Table of Contents:
“
...-Programs with
Existential
Quantification -- Introducing Real Variables and Integer Objective Functions...
”
Read Now
11
Agent and Multi-Agent Systems: Technology and Applications : 11th KES International Conference, KES-AMSTA 2017 Vilamoura, Algarve, Portugal, June 2017 Proceedings
Published 2017
Springer International Publishing
Table of Contents:
“
... and the
Existential
Fragment of WCTL with Knowledge -- Communication and Autonomous Control of Multi-UAV System...
”
Read Now
12
Artificial intelligence : ethical, social, and security impacts for the present and the future
by
Mehan, Julie E.
Published 2022
IT Governance Publishing Ltd
Table of Contents:
“
... or an
existential
threat? -- Chapter 2: Is AI really ubiquitous - Does it or will it permeate everything we do...
”
Call Number:
Q334.7
Read Now
13
Minding the Future : Artificial Intelligence, Philosophical Visions and Science Fiction
Published 2021
Springer International Publishing
“
... the individual, social, and
existential
impacts of such technologies. Through the works of science fiction...
”
Read Now
14
Data Mining : Special Issue in Annals of Information Systems
Published 2010
Springer US
Table of Contents:
“
... General Universal
Existential
Upward Closure Property -- Classification Techniques and Error Control...
”
Read Now
15
Conceptual Graphs for Knowledge Representation : First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
...'s system of
existential
graphs -- Modal logics for conceptual graphs -- Fuzzy conceptual graphs...
”
Read Now
16
Developments and Advances in Defense and Security : MICRADS 2023
Published 2024
Springer Nature Singapore
Table of Contents:
“
... platform for numerical evaluation of Radar Cross Section of 3D targets -- Intrinsic and
Existential
Risks...
”
Read Now
17
CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... -- The complexity of subtheories of the
existential
linear theory of reals -- On test classes for universal theories...
”
Read Now
18
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... of
existentially
quantified variables in inductive specification proofs -- Knowledge discovery objects and queries...
”
Read Now
19
KI 2005: Advances in Artificial Intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...
Existential
Quantifier in Description Logics -- Subsumption in w.r.t. Hybrid TBoxes -- Dependency Calculus...
”
Read Now
20
Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... of
existential
second-order logics -- Rich ?-words and monadic second-order arithmetic -- A simple ordinal...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 006 - Special computer methods
Year of Publication
From:
To:
Classification
006 - Special computer methods
338 - Production
1
658 - General management
1
Language
English
36
Collection
Springer eBooks 2005-
23
Springer Book Archives -2004
11
O'Reilly
2
Author
Croitoru, Madalina
2
Ellis, Gerard
2
Howse, John
2
Priss, Uta
2
Rudolph, Sebastian
2
Sowa, John F.
2
more ...
Abraham, Ajith
1
Al-Sharhan, Salah A.
1
Angelova, Galia
1
Azevedo, Francisco
1
Baader, Franz
1
Barahona, Pedro
1
Bassiliades, Nick
1
Benevides, Mário
1
Brewka, Gerhard
1
Börger, Egon
1
Calmet, Jacques
1
Campagner, Andrea
1
Carette, Jacques
1
Carnielli, Walter
1
Chen-Burger, Yun-Heh Jessica
1
Corbett, Dan
1
Crone, Sven F.
1
Cyre, Walling
1
Dainton, Barry
1
Dau, Frithjof
1
Dicheva, Darina
1
Dixon, Lucas
1
Dochev, Danail
1
Eiter, Thomas
1
Eklund, Peter W.
1
Faber, Wolfgang
1
Fages, Francois
1
Fajardo-Toro, Carlos Hernán
1
Fermüller, Christian G.
1
Ferré, Sébastien
1
Friedrich, Gerhard
1
Furbach, Ulrich
1
Gebser, Martin
1
Gottlob, Georg
1
Han, Sang Yong
1
Hanus, Michael
1
Hill, Richard
1
Howlett, Robert J.
1
Jezic, Gordan
1
Kleine Büning, Hans
1
Komorowski, Jan
1
Kusek, Mario
1
Kuznetsov, Sergei O.
1
Lee, John
1
Lee, Newton
1
Lessmann, Stefan
1
Levinson, Robert
1
Liu, Hongbo
1
Lukose, Dickson
1
Madeira, Alexandre
1
Magnani, Lorenzo
1
Mann, Graham
1
Mehan, Julie E.
1
Mineau, Guy W.
1
Morak, Michael
1
Motro, Amihai
1
Moulin, Bernard
1
Nielsen, Mogens
1
Pabon, Tim
1
Paschke, Adrian
1
Pizzi, Claudio
1
Plaza, Jan
1
Polovina, Simon
1
Ras, Zbigniew W.
1
Rich, William
1
Richter, Michael M.
1
Rocha, Ricardo
1
Rocha, Álvaro
1
Rodríguez, José María Riola
1
Rossi, Francesca
1
Sacerdoti Coen, Claudio
1
Sadri, Fariba
1
Schockaert, Steven
1
Senellart, Pierre
1
Shanahan, Murray
1
Slocombe, Will
1
Smets, Philippe
1
Stahlbock, Robert
1
Stapleton, Gem
1
Tanyi, Attila
1
Tepfenhart, William M.
1
Thomas, Wolfgang
1
Urs Lenz, Oliver
1
Voronkov, Andrei
1
Watt, Stephen
1
Wilson, Nic
1
Xia, Shuyin
1
Ślęzak, Dominik
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22006+-+Special+computer+methods%22&lookfor=%22existential%22&type=AllFields
Send by Email
×
Loading...