Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Michael Kassoff"'
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
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:
Andre Valente, Michael Kassoff
Publikováno v:
The Knowledge Engineering Review. 22:213-219
A logical spreadsheet is a spreadsheet in which the formula language is composed of logical expressions. Logical spreadsheets were invented shortly after traditional electronic spreadsheets were introduced, but since then logical spreadsheet research
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86c05744b96fc0a53f9fac72a40f20e4
https://doi.org/10.1017/s0269888907001191
https://doi.org/10.1017/s0269888907001191
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:
IEEE Internet Computing. 7:66-73
Next-generation Web browsers Will have form navigation, variable-size lists, and dynamic enumeration built in to increase user friendliness.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42e272e4c937c7dcb7aaf0fea352b50e
https://doi.org/10.1109/mic.2003.1232520
https://doi.org/10.1109/mic.2003.1232520
Autor:
Michael R. Genesereth, Michael Kassoff
Publikováno v:
DEXA Workshops
Existential Omega-entailment is a para consistent entailment relation designed to show the consequences of data which is inconsistent with a set of integrity constraints Omega. In this paper, we prove semantic properties of existential Omega-entailme
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43ad1286a43807c2f06c47a64bf202af
https://doi.org/10.1109/dexa.2011.64
https://doi.org/10.1109/dexa.2011.64
Autor:
Daishi Kato, Martin A. Ekstrom, Waqar Mohsin, Hidehito Gomi, Michael R. Genesereth, Charles J. Petrie, Rada Chirkova, Rob Hoskins, Kyohei Kawazoe, Hans C. Bjornsson, Timothy L. Hinrichs, Michael Kassoff, Jung Ung Min
Publikováno v:
Agent-Mediated Knowledge Management ISBN: 9783540208686
AMKM
AMKM
The FX-Project consisted of members of the Stanford Logic Group industrial visitors from NEC and Intec Web & Genome working together to develop a new technologies based upon the combination of web services and techniques from artificial intelligence
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f75310dae598784d7fb27e81c1f679e
https://doi.org/10.1007/978-3-540-24612-1_23
https://doi.org/10.1007/978-3-540-24612-1_23
