dblp.uni-trier.dewww.uni-trier.de

Mieczyslaw M. Kokar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
30EEChristopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne: A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor. POLICY 2008: 225-227
2006
29EEChristopher 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
28EENilgun Fescioglu-Unver, Mieczyslaw M. Kokar: Effects of Computation Speed on the Stability of a Self-Controlling Process. ECBS 2005: 398-405
27EEChristopher 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
26EEChristopher 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
25EEKenneth 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
24EEYong Xun, Mieczyslaw M. Kokar, Kenneth Baclawski: Using a Task-Specific QoS for Controlling Sensing Requests and Scheduling. NCA 2004: 269-276
23EEYong Xun, Mieczyslaw M. Kokar, Kenneth Baclawski: Control based sensor management for a multiple radar monitoring scenario. Information Fusion 5(1): 49-63 (2004)
22EEMieczyslaw M. Kokar, Jerzy A. Tomasik, Jerzy Weyman: Formalizing classes of information fusion systems. Information Fusion 5(3): 189-202 (2004)
2003
21EEChristopher J. Matheus, Mieczyslaw M. Kokar, Kenneth Baclawski, Jerzy Letkowski: Constructing RuleML-Based Domain Theories on Top of OWL Ontologies. RuleML 2003: 81-94
2002
20EEKenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut: Consistency Checking of Semantic Web Ontologies. International Semantic Web Conference 2002: 454-459
19EEKenneth 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
18EEDeepak Seth, Mieczyslaw M. Kokar: SSCS: A Smart Spell Checker System Implementation Using Adaptive Software Architecture. IWSAS 2001: 187-197
17EEKenneth 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
13EEMieczyslaw 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
12EEYö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
11EEStephen 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
9EESule 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
8EEMieczyslaw 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)

Coauthor Index

1Michael L. Aronson [17]
2Kenneth Baclawski [13] [15] [16] [17] [19] [20] [21] [23] [24] [25] [26] [27] [29]
3Thomas F. Callahan [8]
4Nancy Daly [10]
5Robert Dionne [30]
6Patrick Emery (Pat Emery) [19]
7Yönet A. Eracar [12]
8Nilgun Fescioglu-Unver [28]
9Lewis Hart [17] [19]
10William S. Holmes III [17]
11Sule O. Ibraheem [9]
12Paul A. Kogut [17] [19] [20] [25]
13Zbigniew Korona [11] [14]
14Jerzy Letkowski [8] [16] [17] [19] [21] [25] [26] [27]
15Lundy Lewis [9]
16Stephen P. Linder [11]
17Christopher J. Matheus [21] [25] [26] [27] [29] [30]
18Kevin M. Passino [13]
19Spyros A. Reveliotis [7]
20David L. Rumpf [5]
21Bernard E. Sawaf [5]
22Deepak Seth [18]
23Jeffrey E. Smith [13] [15] [16] [17] [19]
24Jerzy A. Tomasik [22]
25Richard J. Waldinger [20]
26Jerzy Weyman [22]
27Yong Xun [23] [24]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)