Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 28
Volume 28, Numbers 1-4, 2000
- Martin Charles Golumbic:
Editor's remarks. Ann. Math. Artif. Intell. 28(1-4): 1-2 (2000) - Nachum Dershowitz:
Artificial intelligence: Retrospective/prospective. 3-5 - John V. Franco:
Some interesting research directions in satisfiability. 7-15 - Harvey J. Greenberg:
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving. 17-20 - Hélène Kirchner:
Combining assisted and automated deduction. 21-26 - Monty Newborn:
Deep Blue's contribution to AI. 27-30 - Michael M. Richter:
Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation. 31-33 - Bart Selman:
Compute-intensive methods in artificial intelligence. 35-38 - Oliviero Stock:
Natural language processing and intelligent interfaces. 39-41 - György Turán:
Remarks on computational learning theory. 43-45 - Luca Chittaro, Angelo Montanari:
Temporal representation and reasoning in artificial intelligence: Issues and approaches. 47-106 - Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya:
Higher order generalization and its application in program verification. 107-126 - Marat Fayzullin, Mirco Nanni, Dino Pedreschi
, V. S. Subrahmanian:
Foundations of distributed interaction systems. 127-168 - Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky:
Bayes networks for estimating the number of solutions of constraint networks. 169-186 - Sarit Kraus, Jeffrey S. Rosenschein, Maier Fenster:
Exploiting focal points among alternative solutions: Two approaches. 187-258 - Samir Chopra, Rohit Parikh:
Relevance sensitive belief structures. 259-285 - Jin Tian, Judea Pearl:
Probabilities of causation: Bounds and identification. 287-313 - Glenn Shafer, Peter R. Gillett, Richard B. Scherl:
The logic of events. 315-389
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
