Приложение
для AndroidПолное описание
Herre, H. Partial logics with two kinds of negation as a foundation for knowledge-based reasoning / H.Herre,J.O.M.Jaspars,G.Wagner. - Amsterdam : [s. n.], 1995. - 35 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9574). - 1000 р. - Текст : непосредственный.
Библиогр.:с.34-35
| ГРНТИ | УДК | |
| 28.23.17 | 004.8 |
Рубрики:
Искусственный интеллект
Кл.слова (ненормированные): искусственный интеллект
Доп. точки доступа:
Jaspars, J.O.M.
Wagner, G.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыТулупьев А.Л. Алгебраические байесовские сети для представления и обработки знаний с неопределенностью : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. Л. Тулупьев, 1996. - 16 с. - Текст : непосредственный.Мельцов В.Ю. Потоковая система дедуктивного логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Ю. Мельцов, 1996. - 14 с. - Текст : непосредственный.Калинина Т.В. Абстракционные методы повышения эффективности логического вывода : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина, 2001. - 14 с. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Jaspars J. Partial up and down logic / J.Jaspars, 1995. - 22 p. - Текст : непосредственный.Hoek W.van der Honesty in partial logic / W.van der Hoek,J.Jaspars,E.Thijsse, 1995. - 30 p. - Текст : непосредственный.Fuzzy logic in artificial intelligence : 8th austrian artificial intelligence conf.Linz,June 28-30,1993.Proc. / ed. E. P. Klement, ed. W. Slany, 1993. - VIII,191 p. p. - Текст : непосредственный.Wagner G. Vivig logic : Knowledge-based reasoning with two kinds of negation / G.Wagner, 1994. - XII,148 p. p. - Текст : непосредственный.Automated deduction- CADE-12 : 12th intern.conf.on automated deduction Nancy,June 26-July 1,1994.Proc. / CADE-12, 1994. - XVI,845 p. p. - Текст : непосредственный.Herre H. Partial logics with two kinds of negation as a foundation for knowledge-based reasoning / H.Herre,J.O.M.Jaspars,G.Wagner, 1995. - 35 p. - Текст : непосредственный.Стрыгин В.З. Комбинаторная машина для NP-полных задач искусственного интеллекта / В.З.Стрыгин, 1996. - 10 с. - Текст : непосредственный.Automated reasoning with analytic tableaux and related methods : Intern.conf.,TABLEAUX'97,Pont-a-Mousson,France,May 13-16,1997:Proc. / Ed. D. Galmiche, 1997. - XI,373 p. p. - Текст : непосредственный.Automated deduction - CADE-14 : 14th Intern.conf.on automated deduction,Townsville,North Queensland,Australia,July 13-17,1997:Proc. / Ed. W. McCune, 1997. - XIV,462 p. p. - Текст : непосредственный.Логический подход к искусственному интеллекту. От модальной логики к логике баз данных / А.Тейз,П.Грибомон,Г.Юлен и др.;Пер.с фр.под ред.Г.П.Гаврилова, 1998. - 494 с. - Текст : непосредственный.Городецкий В.И. Байесовский вывод / В.И.Городецкий, 1991. - 38 с. - Текст : непосредственный.Артемьева И.Л. Принципы реализации недоопределенного логического вывода : Препринт / И.Л.Артемьева, 1992. - 34 с. - Текст : непосредственный.Williams J.G. Instantiation theory:on the foundations of automated deduction / J.G.Williams, 1991. - VIII,133 p. p. - Текст : непосредственный.Nonmonotonic and inductive logic : 1st intern.workshop on nonmonotonic and inductive logic,Dec.4-7,1990,Karlsruhe:Proc. / Ed. J. Dix, 1991. - X,243 p. p. - Текст : непосредственный.Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный.Стрыгин В.З. Матричная логика и комбинаторные машины / В.З.Стрыгин, 1998. - 19 с. - Текст : непосредственный.
Показать все результатыСистемы, использующие мысли вместо знаний, основанных на формальных правилах / ВЦП (Киев). - 7 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.3. Датчики и искусственный интеллект. Искусственный интеллект в системах машинного зрения / ВЦП. - 19 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Системы управления и моделирования на базе знаний / ВЦП.Минская ред. - 15 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.5. МАР и ТОР / ВЦП.Минская ред. - 41 c. - Текст : непосредственный.Искусственный интеллект. Применения в CIM. Гл.11.Управляющие экспертные системы. Базы данных и базы знаний в УЭС / ВЦП.Минская ред. - 32 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.7. Базы данных CIM.Искусственный интеллект в CIM базах данных / ВЦП.Минская ред. - 53 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.8. Распределенный искусственный интеллект. Системы распределенного искусственного интеллекта / ВЦП.Минская ред. - 47 c. - Текст : непосредственный.Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Foundations of artificial intelligence / сост.ed. D. Kirsh, 1992. - 358 p. - Текст : непосредственный.Niemela I. Autoepistemic logic as a unified basis for nonmonotonic reasoning : Diss. / I.Niemela, 1993. - 162 p. - Текст : непосредственный.Дулин С.К. Структурная согласованность данных и знаний : Учеб.пособие / С.К.Дулин, 1993. - 87 c. - Текст : непосредственный.Drescher G.L. Made-Up Minds : A constructivists approach to artificial intelligence / G.L.Drescher, 1991. - 220 p. - Текст : непосредственный.Innovative applications of artificial intelligence 2 / сост.ed. A. Rappaport, сост.ed. R. Smith, 1991. - 310 мкф.Бакаев А.А. Методы организации и обработки баз знаний / А.А.Бакаев,В.И.Гриценко,Д.Н.Козлов, 1993. - 149 c. - Текст : непосредственный.Дулин С.К. Моделирования сходства элементов базы знаний / С.К.Дулин,И.А.Киселев, 1994. - 23 c. - Текст : непосредственный.Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G.Frederichs,M.Rader, 1993. - 108 S. - Текст : непосредственный.Asker L. Partial explanations as a basis for learning : Diss. / L.Asker, 1994. - 151 p. - Текст : непосредственный.Kilander F. Incremental conceptual clustering in an on-line application : Diss. / F.Kilander, 1994. - 140 p. - Текст : непосредственный.Брусакова И.А. Проектирование баз знаний и экспертные системы : Учеб.пособие / И. А. Брусакова, Д. Д. Недосекин, С. В. Прокопчина, 1993. - 59 c. - Текст : непосредственный.
Показать все результатыПацан А. Средства представления и обработки знаний в объективно-ориентированных экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.18.11 / А. Пацан, 1991. - 21 с. - Текст : непосредственный.Сардалишвили Т.Р. Разработка многокритериальных моделей принятия решений и методов параллельных вычислений для представления знаний в экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Т. Р. Сардалишвили, 1991. - 20 с. - Текст : непосредственный.Ковалева Г.Е. Применение функционального подхода к реализации систем представления знаний : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Г. Е. Ковалева, 1991. - 11 . - Текст : непосредственный.Бычков И.В. Сетевая система представления и обработки знаний для решения задач на ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. В. Бычков, 1991. - 17 с. - Текст : непосредственный.Терехина А.Ю. Разработка методов многомерного шкалирования для представления структуры знаний : Автореферат диссертации на соискание ученой степени д-ра техн.наук:01.01.11 / А. Ю. Терехина, 1991. - 36 с. - Текст : непосредственный.Башмаков Д.М. Нечеткие модели и линейные методы принятия оптимизированных управляющих решений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16:05.13.01 / Д. М. Башмаков, 1991. - 16 с. - Текст : непосредственный.Богачев Д.А. Семантическая память адаптивных интеллектуальных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Д. А. Богачев, 1991. - 16 с. - Текст : непосредственный.Васильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. Ю. Васильев, 1991. - 20 с. - Текст : непосредственный.Гинкул Г.П. Игровой подход к формированию баз знаний в экспертных системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Г. П. Гинкул, 1991. - 15 с. - Текст : непосредственный.Зикеева Г.В. Метод автоматизированного формирования и контроля целостности баз знаний с неструктурированными продукционными правилами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. В. Зикеева, 1991. - 20 с. - Текст : непосредственный.Абдуллаева М. Системы логического вывода,основанные на методе резолюций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. Абдуллаева, 1991. - 19 с. - Текст : непосредственный.Хведчук В.И. Средства ПЭВМ с поддержкой логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. И. Хведчук, 1991. - 16 с. - Текст : непосредственный.Воробьев В.Б. Представление,организация и обработка знаний в интеллектуальной системе ИКАР : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. Б. Воробьев, 1992. - 15 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Андриенко Г.Л. Методы сопоставления для автоматизированного приобретения экспертных знаний : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Г. Л. Андриенко, 1992. - 15 с. - Текст : непосредственный.Симов С.Ж. Разработка и исследование интервальных моделей при анализе данных и проектировании экспертных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. Ж. Симов, 1992. - 20 с. - Текст : непосредственный.Коваленко Г.М. Способы,модели и программная реализация эффективной физической организации данных в автоматизированных комплексах формирования знаний операторов технических систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Г. М. Коваленко, 1992. - 22 с. - Текст : непосредственный.Дулин С.К. Методология поддержки согласованности активных систем знаний интеллектуальными диалоговыми средствами : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / С. К. Дулин, 1992. - 36 с. - Текст : непосредственный.Андриенко А.В. Инструментальные средства формирования баз процедурных знаний : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Андриенко, 1992. - 16 с. - Текст : непосредственный.Матвеева Т.О. Разработка и исследование методов и средств измерения реляционных программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Т. О. Матвеева, 1992. - 18 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽