Search Results - queries to a non-recursive oracle

Learning via queries and oracles

Authors: Stephan, Frank

Source: Annals of Pure and Applied Logic. 94:273-296

Subject Terms: ddc:004, Recursively (computably) enumerable sets and degrees, queries to a non-recursive oracle, Logic, DATA processing & computer science, Learning and adaptive systems in artificial intelligence, Computational learning theory, Turing degrees, 0102 computer and information sciences, 01 natural sciences, logical queries, Applications of computability and recursion theory, inductive inference, Other degrees and reducibilities in computability and recursion theory, models of queries to a teacher, 0101 mathematics, query-inference degrees

File Description: application/xml; application/pdf

Access URL: https://publikationen.bibliothek.kit.edu/216895/2067
https://zbmath.org/1308090
https://doi.org/10.1016/s0168-0072(97)00077-8
https://publikationen.bibliothek.kit.edu/216895
https://dblp.uni-trier.de/db/conf/colt/colt1995.html#Stephan95
http://portal.acm.org/citation.cfm?doid=225298.225317
http://dblp.uni-trier.de/db/conf/colt/colt1995.html#Stephan95
https://dl.acm.org/doi/10.1145/225298.225317
https://www.sciencedirect.com/science/article/pii/S0168007297000778
https://dblp.uni-trier.de/db/journals/apal/apal94.html#Stephan98
https://www.sciencedirect.com/science/article/abs/pii/S0168007297000778
http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:swb:90-AAA2168956
https://publikationen.bibliothek.kit.edu/216895/2067
https://publikationen.bibliothek.kit.edu/216895
https://doi.org/10.5445/IR/216895

Semantic Optimization of Conjunctive Queries.

Authors: BARCELÓ, PABLO FIGUEIRA, DIEGO GOTTLOB, GEORG et al.

Source: Journal of the ACM; 2020, Vol. 67 Issue 6, p1-60, 60p

Subject Terms: MATHEMATICAL optimization

Learning via Queries and Oracles

Authors: Mathematische Logik Frank Stephan The Pennsylvania State University CiteSeerX Archives

Contributors: Mathematische Logik Frank Stephan The Pennsylvania State University CiteSeerX Archives

Source: http://math.uni-heidelberg.de/logic/postscripts/tr20.ps.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.3158

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.3158
http://math.uni-heidelberg.de/logic/postscripts/tr20.ps

Learning via Queries and Oracles

Authors: Frank Stephan The Pennsylvania State University CiteSeerX Archives

Contributors: Frank Stephan The Pennsylvania State University CiteSeerX Archives

Source: http://www.ubka.uni-karlsruhe.de/cgi-bin/psgunzip/1995/informatik/25/25.ps.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.3321

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.3321
http://www.ubka.uni-karlsruhe.de/cgi-bin/psgunzip/1995/informatik/25/25.ps

Bounded truth table does not reduce the one-query tautologies to a random oracle.

Authors: Suzuki, Toshio

Source: Archive for Mathematical Logic; Aug2005, Vol. 44 Issue 6, p751-762, 12p, 3 Diagrams

Subject Terms: PROPOSITIONAL calculus, BOOLEAN algebra, PLEONASM, POLYNOMIALS, MATHEMATICAL logic

Classifying the Computational Power of Stochastic Physical Oracles.

Authors: BEGGS, EDWIN CORTEZ, PEDRO FÉLIX COSTA, JOSE et al.

Source: International Journal of Unconventional Computing; 2018, Vol. 14 Issue 1, p59-90, 32p

Subject Terms: COMPUTATIONAL complexity, TURING machines, QUANTUM computing, STATISTICAL mechanics, NATURAL numbers

Convergence of datalog over (Pre-) Semirings.

Authors: Abo Khamis, Mahmoud Ngo, Hung Q. Pichler, Reinhard et al.

Source: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-55, 55p

Subject Terms: POLYNOMIAL time algorithms, NUMBER theory, BIG data, SEMANTICS, NAIVE Bayes classification, ALGORITHMS

Does truth-table of linear norm reduce the one-query tautologies to a random oracle?

Authors: Kumabe, Masahiro Suzuki, Toshio Yamazaki, Takeshi

Source: Archive for Mathematical Logic; Jul2008, Vol. 47 Issue 2, p159-180, 22p

Subject Terms: HYPOTHESIS, REAL numbers, PROBABILITY theory, MATHEMATICAL variables, POLYNOMIALS

FlatCityBuf: A new cloud-optimised CityJSON format.

Authors: Baba, Hidemichi Ledoux, Hugo Peters, Ravi

Source: International Archives of the Photogrammetry, Remote Sensing & Spatial Information Sciences; 2025, Vol. 48 Issue 4/W15, p17-24, 8p

Subject Terms: GEOSPATIAL data, DATA compression, CLOUD storage, BINARY codes, DATA extraction

COMPLETE AND TRACTABLE MACHINE-INDEPENDENT CHARACTERIZATIONS OF SECOND-ORDER POLYTIME.

Authors: HAINRY, EMMANUEL KAPRON, BRUCE M. MARION, JEAN-YVES et al.

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-30, 30p

Subject Terms: POLYNOMIAL time algorithms, COMPUTABLE functions, PROGRAMMING languages, PROBLEM solving, FUNCTIONALS

Database Design, Query Formulation, and Administration : Using Oracle and PostgreSQL

Authors: Michael Mannino

Resource Type: eBook.

Subjects: Database management, Database design

Categories: BUSINESS & ECONOMICS / Information Management, BUSINESS & ECONOMICS / Decision-Making & Problem Solving

A Tale of Two Approaches: Query Performance Study of XML Storage Strategies in Relational Databases.

Authors: Bressan, Stephane Küng, Josef Wagner, Roland et al.

Source: Database & Expert Systems Applications (9783540378716); 2006, p149-160, 12p

Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings.

Authors: GHEERBRANT, AMÉLIE LIBKIN, LEONID ROGOVA, ALEXANDRA et al.

Source: Theory & Practice of Logic Programming; Mar2024, Vol. 24 Issue 2, p279-309, 31p

Subject Terms: STATISTICAL decision making, DATABASES, FIRST-order logic

Conjunctive Queries: Unique Characterizations and Exact Learnability.

Authors: TEN CATE, BALDER DALMAU, VICTOR

Source: ACM Transactions on Database Systems; Dec2022, Vol. 47 Issue 4, p1-41, 41p

Subject Terms: DESCRIPTION logics, ALGORITHMS, HOMOMORPHISMS

Certified Graph View Maintenance with Regular Datalog.

Authors: BONIFATI, ANGELA DUMBRAVA, STEFANIA ARIAS, EMILIO JESÚS GALLEGO et al.

Source: Theory & Practice of Logic Programming; May2018, Vol. 18 Issue 3/4, p372-389, 18p

Subject Terms: GRAPH theory, ALGORITHMS, QUERY languages (Computer science), AUTOMATIC theorem proving, DATA extraction

Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic.

Authors: Kurucz, Agi Ryzhikov, Vladislav Savateev, Yury et al.

Source: Journal of Artificial Intelligence Research; 2023, Vol. 76, p645-703, 59p

Subject Terms: REVISION (Writing process), LANGUAGE & languages, KNOWLEDGE graphs, DATALOG (Computer program language), DATA analysis

Performance Analysis and Optimization Techniques for Oracle Relational Databases.

Authors: Almeida, Fernando Silva, Pedro Araújo, Fernando

Source: Cybernetics & Information Technologies; Jun2019, Vol. 19 Issue 2, p117-132, 16p

Subject Terms: MATHEMATICAL optimization, DATABASES, RELATIONAL databases, INFORMATION storage & retrieval systems, GROWTH rate

A Note on the Relationship between Different Types of Correction Queries.

Authors: Tȋrnăucă, Cristina

Source: Grammatical Inference: Algorithms & Applications (9783540880080); 2008, p213-223, 11p

Using Biased Coins as Oracles.

Authors: Ord, Toby Kieu, Tien D.

Source: International Journal of Unconventional Computing; 2009, Vol. 5 Issue 3/4, p253-265, 13p

Subject Terms: MATHEMATICS research, TURING machines, COMPUTABLE functions, PROBABILITY theory, BINARY number system, QUANTUM theory

Optimizing RPQs over a compact graph representation.

Authors: Arroyuelo, Diego Gómez-Brandón, Adrián Hogan, Aidan et al.

Source: VLDB Journal International Journal on Very Large Data Bases; Mar2024, Vol. 33 Issue 2, p349-374, 26p