|
• Онтологии
и метаописания
• Учебные
объекты (learning objects)
• Языки
программирования и логика
• eLearning
and Knowledge
• Digital
Libraries and Repositories
• Книжки
и учебники
|
|
Библиотека
Коллекция публикаций по тематике, собранная из
открытых
интернет-источников.
|
Онтологии и метаописания
|
S.
Dill et al. A Case for Automated Large Scale Semantic Annotation.
Thomas
R. Gruber. A Translation Approach to Portable Ontology Specifications.
James
Hendler. Agents and the Semantic Web.
Ian
Horrocks. Using an Expressive Description Logic: FaCT or Fiction?
Ian
Horrocks et al, Practical Reasoning for Very Expressive Description
Logic.
Carl
Lagoze, Jane Hunter. The ABC Ontology and Model.
Andreas
D. Lattner. A Metadata Generation Framework for Heterogeneous
Information Sources.
Jon
Mason. Building Metadata Infrastructure.
Helmut
Meisel et al. An ontology-based approach to intelligent Instructional
Design support.
Susan
Metros, An Ontology for Learning Objects.
V.
Orlov, A. Kleschev. A
Unified Tool For Editing Information of Different Levels of Abstraction.
Evren
Sirin et al. Composition-driven Filtering and Selection of Semantic Web
Services.
Robert
Stevens. Building and Using Ontologies.
Katya
Sycara et al. Automated Discovery, Interaction and Composition of
Semantic Web Services.
|
Учебные объекты (Learning Objects)
|
All
About
Learning
Objects. Online Learning Content.
Heidrun
Allert et al. Explicitly Modelling Instructional Theories and Paradigms.
Marek
Hatala, Griff Richards. Making a Splash: A Heteregeneous Peer-to-Peer
Learning Object Repository.
William
Horton, Don't Bother Me
With Objects. I've Got a Course To Teach! A non-objective view.
Peder
Jacobsen. Reusable Learning Objects. What does the future hold?
Tobias
Kunze et al. Editing Learning Object Metadata: Schema Driven Input of
RDF Metadata with the OLR3-Editor.
IEEE
P1484.12.3/D2. Extensible Markup Language (XML) Schema Definition
Language Binding for Learning Object Metadata (Draft Standard).
Learning
Objects - Quests and Repositaries.
Phillip
D. Long. Learning Objects
in Motion (RSS).
Moving
From Theory To
Practice in the Design of Web Based Learning Using a Learning Object
Approach.
Jehad
Najjar et al. Towards Interoperable Learning Object Repositories:
The
AriadneExperience.
Jian
Qin. Incorporating Educational Vocabulary in Learning Object Metadata
Schemas.
Griff
Richards. Interoperability of learning object repositories: Linking the
personal and community storehouses of future knowledge.
Othoniel
Rodriguez et
al. Open Learning Objects: the case for inner metadata.
Trish
Rosseel.
Learning Objects: Reduce, Reuse, Recycle.
Andreas
Schmidt and Claudia Winterhalter. User Context-Aware Delivery of
E-Learning Material: Approach and Architecture
Vicki
Suter. Progress & Possibilities – NLII Learning Objects Projects.
Anne-Marie
Vercoustre and Alistair McLean. Reusing Educational Material for
Teaching and Learning: Current Approaches and Directions.
M.
F. Verdejo et al. Including collaborative learning designs in a
Learning Object Repository.
David
A. Wiley. Connecting Learning Objects to Instructional Design Theory:
A Definition, a Metaphor, and a Taxonomy.
Matteo
Baldoni. Reasoning about learning object metadata for adapting SCORM
courseware
|
Языки программирования и логика
|
A
Theory of Fixed Point.
Шпаргалка.
Andreas
Abel and Ralph Matthes. Fixed Points of Type Constructors.
Hassan
Ait-Kaci. Warren's Abstract
Machine. A Tutorial Reconstruction.
Franz
Baader and
Ulrike Sattler. An Overview of Tableau Algorithms for Description
Logics.
Franz
Baader and Werner Nutt. Basic
Description Logics.
Roland Backhouse. L1. Kleene Algebra. "Arithmetic" Operators.
Roland
Backhouse. L2. Kleene Algebra.
Graphs and Matrices.
Roland
Backhouse. L3. Iteration (Kleene
Star).
Roland
Backhouse. L4. All-Paths
Algorithm.
Roland
Backhouse. L5. Fixed Points and
Prefix Points.
Roland
Backhouse. L6. Games.
Roland
Backhouse. L7. Galois
Connections.
Roland
Backhouse. L8. Fixed Point
Calculus.
Roland Backhouse. L9. Revision
J.F.
Baldwin et al. Towards Soft Computing Object-Oriented Logic Programming
Andreas
Blass and Yuri Gurevich. Existensial Fixed-Point Logic.
Alex
Borgida and Ronal J. Brachman. Conceptual Modelling with Description
Logics.
Alex
Borgida. On the Relative
Expressiveness of Description Logics and Predicate Logics.
Alex
Borgida et al. Description
Logic for Data Bases.
Diego
Calvanese et al. Description
Logics for Conceptual Data Modelling.
Tyng-Ruey
Chuang and Benjamin Goldberg. A Syntactic Approach to Fixed Point
Computation on Finite Domains.
Zoltan
Esik. The
Equational Theory of Fixed Points with Applications to Generalized
Language Theory
Gerhard
Jager. An intensional fixed point theory over first order arithmetic.
Achim
Jung et al. Domains and Denotational Semantics: History,
Accomplishments and Open Problems.
Egon
Boerger at al. A Mathematical Definition of Full Prolog.
Egon
Boerger, Dean Rozenzweig. The WAM. Definition and Compiler Correctness.
Daniel
Cabeza and Manuel
Hermengildo. A New Module System for Prolog.
Gregory
Chaitin. META MATH! The Quest
for Omega.
Olaf
Chitil.
Denotational Semantics for Teaching Lazy Functional Programming.
William
R. Cook. A Denotational
Semantics of Inheritance.
Anuj
Dawar. Infinite and Finite Model Theory. Part II.
Bart
Demoen. Dynamic attributes, their
hProlog implementation, and a first evaluation
Курс
Denotational Semantics.
Denotational
Semantics. Шпаргалка.
F.M. Donini et al. Reasoning in Description Logics.
Johan
Fabry. Language-Independent
Detection of Object-Oriented Design Patterns.
Enrico Franconi. Description Logics Introductory Lecture.
Enrico
Franconi. Description
Logics. Foundations of
Propositional Logic.
Enrico
Franconi.
Description Logics. Propositional Description Logics.
Enrico
Franconi.
Description Logics. Deduction
in Propositional Logic.
Enrico
Franconi. Description
Logics.
Foundations of First Order Logic.
Enrico
Franconi. Description
Logics, Using First Order Logic.
Enrico
Franconi. Description
Logics. Logics and Ontologies.
Enrico
Francone.
Structural Description Logics,
Enrico
Franconi. Description Logics. Structural Description Logics: FL-.
Enrico
Franconi. Designing
Knowledge Bases.
Enrico
Franconi. Knowledge
Bases in Description Logics.
Enrico
Franconi and Sergio Tessaris. Rules and Queries with Ontologies: a
Unified Logical Framework
Harald
Ganzinger. Logic for Computer Science.
Harald
Ganzinger. Logic for Computer Science II.
Yuri
Gurevich. Evolving Algebras: an Attempt to Discover Semantics.
Michael
Hanus et al. An Operational Semantics for Declarative Multi-Paradigm
Languages.
James
K. Huggins and Charles Wallace. An Abstract State Machine Primer.
De
Meuter
Wolfgang and Niels Boyen. An Informal Tour on Denotational Semantics.
John
Mitchell. Formal Methods and Computer Security.
Alexei
Muravsky. Knowledge Representation As Domains.
Bernhard
Nebel, Gert Smolka.
Attribute Description Formalisms ... and the Rest of the World.
Andrew
M. Pitts.
Lecture Notes on Denotational Semantics. Part II.
Julian
Rathke. Introduction to Semantics. Session one: syntactic techniques.
Julian
Rathke. Introduction to Semantics. Session two: mathematical techniques.
Julian
Rathke.
Introduction to Semantics. Session three: further techniques.
Giovanni
Sambin et al. Constructive Domain Theory as a Branch of Intuitionistic
Pointfree Topology.
Vijay
Saraswat. The Category of Constraint Systems is Cartesian-closed.
Ulrike
Sattler et al. Relationships with other Formalisms.
Dana
Scott. A New Category?
Domains, Spaces and Equivalence Relations.
Michael
Sintek and Stephan Decker.
TRIPLE - A Query, Inference and Transformation Language for the
Semantic Web.
Paul
Taylor. Scott Domains in Abstract Stone Duality.
Paul
Taylor. Recursive Domains, Indexed
Category Theory and Polymorphism
Paul
Taylor. Semantics of System F.
Olof
Torgersson. A Note on Declarative
Programming Paradigms and the Future of Definitional Programming
William
Weiss
and Cherrie D'Mello. Fundamentals of Model Theory.
What
does the
partial order "mean"? Шпаргалка.
|
eLearning and Knowledge
|
Avron
Barr et al. Towards a Knowledge-Level Software Platform.
Cristina
Boicu et al. Mixed-Initiative Exception-Based Learning for Knowledge
Base Refinement
Stefan
Decker et al. Knowledge Representation on the Web.
Bela
Markus.
Spatial Knowledge Management.
Maria
E. Mendes. Dynamic Knowledge Representation for E-Learning Applications.
Stephen Staab. Knowledge Portals – How HLT may help.
Rudi Studer et al. Semantic Web for Generalized Knowledge Management.
|
Digital Libraries and Repositories
|
Glossary
for Metadata, Taxonomies & Digital Libraries.
LINKS:
Digital Libraries. Metadata Resources.
ADL.
Learning Repositories Summit: Initial Research Summary
Herve
Jean-Baptiste. How to Maintain Your Learning Library.
Ying
Ding &
Dieter Fensel. Ontology Library Systems: The key to successful Ontology
Re-use
Yuanbo
Guo et al. Benchmarking DAML+OIL Repositories.
Jens
Hartmann, Andreas Hotho, Gerd Stumme. Semantic Web Mining for Building
Information Portals.
IMS
Digital Repositories
Interoperability - Core Functions Best Practice Guide Version 1.0
IMS
Digital Repositories
Interoperability - Core Functions XML Binding Version 1.0 Final
Specification
IMS
Digital Repositories
Interoperability - Core Functions Information Model Version 1.0 Final
Specification
Tobias
Kunze et al. Editing Learning Object Metadata:Schema Driven Input of
RDF Metadata with the OLR3-Editor.
Christine
Mingins et al. Deriving Action-Based Semantics from Learning
Repositories.
Changtao
Qu et al. Integrating Schema-specific Native XML Repositories into a
RDF-based E-Learning P2P Network.
|
Книжки и учебники
|
А.
Ахо, Дж. Хопкрофт, Дж. Ульман. Построение и анализ вычислительных
алгоритмов.
М.
Айгнер. Комбинаторная теория.
П.С.
Александров. Курс аналитической геометрии и линейной алгебры.
Х.
Барендрегт. Ламбда-исчисление.
Дж.
Барвайс. Справочная книга по математической логике. Том 1.
Дж.
Барвайс. Справочная книга по математической логике. Том 2.
Дж.
Барвайс. Справочная книга по математической логике. Том 3.
Дж. Барвайс. Справочная книга по математической логике. Том 4.
К.
Берж. Теория графов и ее применения.
Г.
Биркгоф. Теория структур.
Б.
Бухбергер и др.
Компьютерная алгебра.
И.
Букур, А. Деляну. Введение в теорию категорий.
А.
Черч. Введение в математическую логику.
Х.
Дейтел, П. Дейтел. Как программировать на С++.
Ю.Л.
Ершов. Математическая
логика.
Ю.Л.
Ершов. Определимость и вычислимость.
А.А.
Френкель, И. Бар-Хиллел. Основания теории множеств.
Л.
Фукс. Частично упорядоченные алгебраические системы.
Г.
Гретцер. Общая теория решеток.
Ф.
Харари. Теория графов.
Г.
Харди. Апология математика.
Ф.
Хаусдорф. Теория множеств.
М.
Холл. Комбинаторика.
С.В.
Яблонский. Введение в дискретную математику.
Х.
Карри. Основания математической логики.
Г.
Кейслер, Ч.
Чен. Теория моделей.
С.
Клини. Введение в метаматематику.
С.
Клини. Математическая логика.
А.И.
Кокорин, В.М. Копытов. Линейно упорядоченные группы.
И.А.
Лавров, Л.Л. Максимова. Задачи по теории алгоритмов.
В.
Липский. Комбинаторика для программистов.
А.И.
Мальцев. Алгебраические системы.
А.И.
Мальцев. Алгоритмы и рекурсивные функции.
А.И.
Мальцев. Основы линейной алгебры.
Е.
Мендельсон. Введение в математическую логику.
П.С,
Новиков. Конструктивная математическая логика с точки зрения
классической.
Р.Г.
Пиотровский, К.Б. Бектаев, А.А. Пиотровская. Математическая лингвистика.
А.
Робинсон. Теория
моделей.
Х.
Роджерс. Теория рекурсивных функций и эффективная вычислимость.
К.
Шеннон. Работы по теории информации и кибернетике.
Р.
Смальян. Теория формальных систем.
Г.
Такеути. Теория доказательств.
Н.
Вирт. Алгоритмы + структуры данных = программы. |
664003 Иркутск, ул. К.
Маркса, 1, Иркутский государственный университет, Центр новых
информационных технологий
|
|
|
