Zobrazeno 1 - 10
of 94
pro vyhledávání: '"Michael R. Genesereth"'
Publikováno v:
Synthesis Lectures on Artificial Intelligence and Machine Learning. 14:1-219
Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming due to applications in deductive databases, autom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8dc12d5ed1187af7af8d773f7a5d4036
https://doi.org/10.2200/s00966ed1v01y201911aim044
https://doi.org/10.2200/s00966ed1v01y201911aim044
Publikováno v:
AIKE
Database Reformulation is the process of rewriting the data and rules in deductive databases in a functionally equivalent manner, ideally in ways that decrease query processing time while keeping storage costs within acceptable bounds. Early research
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba835a101a16f6aa53c2365fe5cc0d41
https://doi.org/10.1109/aike.2019.00020
https://doi.org/10.1109/aike.2019.00020
Publikováno v:
GCAI
Identification of implicit structures in dynamic systems is a fundamental problem in Artificial Intelligence. In this paper, we focus on General Game Playing where games are modeled as finite state machines. We define a new property of game states ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d98632e8ad39f31fc12ded62ce000d0d
https://doi.org/10.29007/z5zn
https://doi.org/10.29007/z5zn
Autor:
Eric Jui-Yi Kao, Michael R. Genesereth
Publikováno v:
Introduction to Logic, Second Edition
This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c90e8e02fbe75ac190f4d771fed89bf
https://doi.org/10.2200/s00518ed2v01y201306csl006
https://doi.org/10.2200/s00518ed2v01y201306csl006
Autor:
Michael Kassoff, Michael R. Genesereth
Publikováno v:
International Journal of Semantic Computing. :257-269
Existential Ω-entailment is a paraconsistent entailment relation designed to show the consequences of data which is inconsistent with a set of integrity constraints Ω. In this paper, we prove semantic properties of existential Ω-entailment and giv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::414acde7d01c500f8a20620086003b15
https://doi.org/10.1142/s1793351x11001249
https://doi.org/10.1142/s1793351x11001249
Autor:
Michael R. Genesereth
Publikováno v:
AI Matters. 4:32-32
California today became the first state in the Union to elect a computer as governor. The independent candidate, Corpus Legis , handily defeated its human opponents in a special election following the retirement of former governor Jerry (Moonbeam) Br
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::450dfd0a5e8e12c20476e7748bb0d1fe
https://doi.org/10.1145/3203247.3203256
https://doi.org/10.1145/3203247.3203256
Publikováno v:
IEEE Internet Computing. 13:48-55
Email addresses, like telephone numbers, are opaque identifiers. They're often hard to remember, and, worse still, they change from time to time. Semantic email addressing (SEA) lets users send email to a semantically specified group of recipients. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54b63a36a91de149914b8ceeea115135
https://doi.org/10.1109/mic.2009.20
https://doi.org/10.1109/mic.2009.20
Autor:
Michael R. Genesereth, Michael Kassoff
Publikováno v:
The Knowledge Engineering Review. 22:281-295
In this article, we describe PrediCalc, a logical spreadsheet that allows for many-to-many constraints and propagation in all directions. We explain PrediCalc’s update mechanism and PrediCalc’s unique approach to handling inconsistencies between
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0378476de9992b6062c593a5a44960d
https://doi.org/10.1017/s0269888907001154
https://doi.org/10.1017/s0269888907001154
Publikováno v:
Rule Technologies: Foundations, Tools, and Applications ISBN: 9783319215419
RuleML
RuleML
We present Dexter, a browser-based, domain-independent structured-data explorer for users. Dexter enables users to explore data from multiple local and Web-accessible heterogeneous data sources such as files, Web pages, APIs and databases in the form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1fbb4c037187352c289c3c6aeb0cb638
https://doi.org/10.1007/978-3-319-21542-6_11
https://doi.org/10.1007/978-3-319-21542-6_11
Autor:
Michael R. Genesereth, Eric Jui-Yi Kao
Publikováno v:
Rule Technologies: Foundations, Tools, and Applications ISBN: 9783319215419
RuleML
RuleML
The traditional semantics for relational logic (sometimes called Tarskian semantics) is based on the notion of interpretations of constants in terms of objects external to the logic. Herbrand semantics is an alternative that is based on truth assignm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8908d115a99a3ebcfc51dc7999648067
https://doi.org/10.1007/978-3-319-21542-6_1
https://doi.org/10.1007/978-3-319-21542-6_1