2008 |
30 | EE | Christopher J. Matheus,
Mieczyslaw M. Kokar,
Robert Dionne:
A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor.
POLICY 2008: 225-227 |
2006 |
29 | EE | Christopher J. Matheus,
Kenneth Baclawski,
Mieczyslaw M. Kokar:
BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules.
RuleML 2006: 67-74 |
2005 |
28 | EE | Nilgun Fescioglu-Unver,
Mieczyslaw M. Kokar:
Effects of Computation Speed on the Stability of a Self-Controlling Process.
ECBS 2005: 398-405 |
27 | EE | Christopher J. Matheus,
Mieczyslaw M. Kokar,
Kenneth Baclawski,
Jerzy Letkowski:
An Application of Semantic Web Technologies to Situation Awareness.
International Semantic Web Conference 2005: 944-958 |
26 | EE | Christopher J. Matheus,
Kenneth Baclawski,
Mieczyslaw M. Kokar,
Jerzy Letkowski:
Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario.
RuleML 2005: 130-144 |
2004 |
25 | EE | Kenneth Baclawski,
Christopher J. Matheus,
Mieczyslaw M. Kokar,
Jerzy Letkowski,
Paul A. Kogut:
Towards a Symptom Ontology for Semantic Web Applications.
International Semantic Web Conference 2004: 650-667 |
24 | EE | Yong Xun,
Mieczyslaw M. Kokar,
Kenneth Baclawski:
Using a Task-Specific QoS for Controlling Sensing Requests and Scheduling.
NCA 2004: 269-276 |
23 | EE | Yong Xun,
Mieczyslaw M. Kokar,
Kenneth Baclawski:
Control based sensor management for a multiple radar monitoring scenario.
Information Fusion 5(1): 49-63 (2004) |
22 | EE | Mieczyslaw M. Kokar,
Jerzy A. Tomasik,
Jerzy Weyman:
Formalizing classes of information fusion systems.
Information Fusion 5(3): 189-202 (2004) |
2003 |
21 | EE | Christopher J. Matheus,
Mieczyslaw M. Kokar,
Kenneth Baclawski,
Jerzy Letkowski:
Constructing RuleML-Based Domain Theories on Top of OWL Ontologies.
RuleML 2003: 81-94 |
2002 |
20 | EE | Kenneth Baclawski,
Mieczyslaw M. Kokar,
Richard J. Waldinger,
Paul A. Kogut:
Consistency Checking of Semantic Web Ontologies.
International Semantic Web Conference 2002: 454-459 |
19 | EE | Kenneth Baclawski,
Mieczyslaw M. Kokar,
Paul A. Kogut,
Lewis Hart,
Jeffrey E. Smith,
Jerzy Letkowski,
Pat Emery:
Extending the Unified Modeling Language for ontology development.
Software and System Modeling 1(2): 142-156 (2002) |
2001 |
18 | EE | Deepak Seth,
Mieczyslaw M. Kokar:
SSCS: A Smart Spell Checker System Implementation Using Adaptive Software Architecture.
IWSAS 2001: 187-197 |
17 | EE | Kenneth Baclawski,
Mieczyslaw M. Kokar,
Paul A. Kogut,
Lewis Hart,
Jeffrey E. Smith,
William S. Holmes III,
Jerzy Letkowski,
Michael L. Aronson:
Extending UML to Support Ontology Engineering for the Semantic Web.
UML 2001: 342-360 |
16 | | Kenneth Baclawski,
Mieczyslaw M. Kokar,
Jeffrey E. Smith,
Jerzy Letkowski:
Consistency Checking of RM-ODP Specifications.
WOODPECKER 2001: 17-26 |
15 | | Jeffrey E. Smith,
Mieczyslaw M. Kokar,
Kenneth Baclawski:
Formal Verification of UML Diagrams: A First Step Towards Code Generation.
pUML 2001: 224-240 |
14 | | Mieczyslaw M. Kokar,
Zbigniew Korona:
A formal approach to the design of feature-based multi-sensor recognition systems.
Information Fusion 2(2): 77-89 (2001) |
2000 |
13 | EE | Mieczyslaw M. Kokar,
Kevin M. Passino,
Kenneth Baclawski,
Jeffrey E. Smith:
Mapping an Application to a Control Architecture: Specification of the Problem.
IWSAS 2000: 75-89 |
12 | EE | Yönet A. Eracar,
Mieczyslaw M. Kokar:
An architecture for software that adapts to changes in requirements.
Journal of Systems and Software 50(3): 209-219 (2000) |
1999 |
11 | EE | Stephen P. Linder,
Zbigniew Korona,
Mieczyslaw M. Kokar:
Q2 Symbolic Reasoning about Noisy Dynamic Systems.
Journal of Intelligent and Robotic Systems 24(3): 295-311 (1999) |
10 | | Mieczyslaw M. Kokar,
Nancy Daly:
IRM: The Integrated Reference Model for Open Systems Environments.
Journal of Systems Integration 9(1): 73-107 (1999) |
1998 |
9 | EE | Sule O. Ibraheem,
Mieczyslaw M. Kokar,
Lundy Lewis:
Capturing a Qualitative Model of Network Perofrmance and Predicting Behavior.
J. Network Syst. Manage. 6(4): (1998) |
1995 |
8 | EE | Mieczyslaw M. Kokar,
Jerzy Letkowski,
Thomas F. Callahan:
Learning to monitor a machine tool.
Journal of Intelligent and Robotic Systems 12(2): 103-125 (1995) |
1991 |
7 | | Mieczyslaw M. Kokar,
Spyros A. Reveliotis:
Learning to Select a Model in a Changing World.
ML 1991: 313-317 |
1989 |
6 | | Mieczyslaw M. Kokar:
Concept Discovery Through Utilization of Invariance Embedded in the Description Language.
ML 1989: 478-479 |
1988 |
5 | | Mieczyslaw M. Kokar,
David L. Rumpf,
Bernard E. Sawaf:
Uncertainty in a Numeric Concept Discovery System.
IPMU 1988: 179-184 |
1987 |
4 | | Mieczyslaw M. Kokar:
Critical Hypersurfaces and the Quantity Space.
AAAI 1987: 616-620 |
3 | | Mieczyslaw M. Kokar:
Generating Qualitative Representations of Continuous Physical Processes.
ISMIS 1987: 224-231 |
1986 |
2 | | Mieczyslaw M. Kokar:
Discovering Functional Formulas through Changing Representation Base.
AAAI 1986: 455-459 |
1 | | Mieczyslaw M. Kokar:
Determining Arguments of Invariant Functional Descriptions.
Machine Learning 1(4): 403-422 (1986) |