Mieczyslaw M. Kokar

80 papers A* 2B 1C 13Misc 8Journal 31Unranked 22

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Inference-Based Information Relevance Reasoning Method in Situation Assessment. Inf. Shan Lu, Mieczyslaw M. Kokar
2024	C	`conf`	On the Use of Ontologies for Defining, Generating and Exploring the Resulting Simulations of Application Level Protocols. KEOD Mieczyslaw M. Kokar, Jakub J. Moskal
2023	J	`jnl`	Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning. SN Comput. Sci. Shan Lu, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith
2022	C	`conf`	Ontology-based Detection of Inconsistencies in UML/OCL Models. MODELSWARD Shan Lu, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith
2021	J	`jnl`	SPARQL Query Generator (SQG). J. Data Semant. Yanji Chen, Mieczyslaw M. Kokar, Jakub J. Moskal
2020	Misc	`conf`	Degrees of Information Relevance in Situation Assessment. CogSIMA Shan Lu, Mieczyslaw M. Kokar
2020	J	`jnl`	RDF object description generator. Int. J. Web Eng. Technol. Yanji Chen, Mieczyslaw M. Kokar, Jakub J. Moskal
2018	Misc	`conf`	A Method to Identify Relevant Information Sufficient to Answer Situation Dependent Queries. CogSIMA Shan Lu, Mieczyslaw M. Kokar
2018	—	`conf`	Dynamic Deployment of Communication Applications to Different Hardware Platforms using Ontological Representations. HPEC Yanji Chen, Mehmet Güngör, Shweta Singh, Alex Tazin, Mieczyslaw M. Kokar, Miriam Leeser
2018	J	`jnl`	IEEE 1900.5.2: Standard Method for Modeling Spectrum Consumption: Introduction and Use Cases. IEEE Commun. Stand. Mag. Carlos E. Caicedo Bastidas, John A. Stine, Anthony Rennier, Matthew Sherman, Alex Lackpour, Mieczyslaw M. Kokar, Reinhard Schrage
2017	—	`conf`	A standard method for modeling spectrum consumption. DySPAN Carlos E. Caicedo Bastidas, Anthony Rennier, Alex Lackpour, Reinhard Schrage, John A. Stine, Matthew Sherman, Mieczyslaw M. Kokar
2016	—	`conf`	Reusability of knowledge for deriving latent situational information in EW scenarios. MILCOM Vincentzio Roman, Jakub J. Moskal, Mieczyslaw M. Kokar, Roger P. Guseman, Robert B. Normoyle, David H. Scheidt
2015	C	`conf`	A situation assessment framework for cyber security information relevance reasoning. FUSION Shan Lu, Mieczyslaw M. Kokar
2014	—	`conf`	Comprehension of RDF Data Using Situation Theory and Concept Maps. STIDS Jakub Moskal, Mieczyslaw M. Kokar, Brian Ulicny
2014	—	`ch.`	Inference and Ontologies. Cyber Defense and Situational Awareness Brian E. Ulicny, Jakub J. Moskal, Mieczyslaw M. Kokar, Keith Abe, John Kei Smith
2014	Misc	`conf`	Inferring relations and individuals relevant to a situation: An example. CogSIMA Mieczyslaw M. Kokar, Seokchul Shin, Brian Ulicny, Jakub Moskal
2014	J	`jnl`	Using UML and OCL for representing multiobjective combinatorial optimization problems. J. Intell. Manuf. Yönet A. Eracar, Mieczyslaw M. Kokar
2013	—	`conf`	IEEE DySPAN 1900.5 Efforts to Support Spectrum Access Standardization. MILCOM Lynn Grande, Matthew Sherman, Hua Zhu, Mieczyslaw M. Kokar, John A. Stine
2013	—	`conf`	Situational Awareness from Social Media. STIDS Brian Ulicny, Jakub Moskal, Mieczyslaw M. Kokar
2012	C	`conf`	Network composition for situation assessment: A "trusted meeting" case study. FUSION Shan Lu, Alexey Tazin, Mieczyslaw M. Kokar
2012	J	`jnl`	Self-control of the time complexity of a constraint satisfaction problem solver program. J. Syst. Softw. Yönet A. Eracar, Mieczyslaw M. Kokar
2012	J	`jnl`	Situation Awareness and Cognitive Modeling. IEEE Intell. Syst. Mieczyslaw M. Kokar, Mica R. Endsley
2012	Misc	`conf`	Situations and policies. CogSIMA Brian Ulicny, Gerald M. Powell, Won Ng, Jakub Moskal, Mieczyslaw M. Kokar
2011	Misc	`conf`	Augmenting the analyst via situation-dependent reasoning with trust-annotated facts. CogSIMA Brian Ulicny, Gerald M. Powell, Chester Brown, Mieczyslaw M. Kokar, Christopher J. Matheus, Jerzy Letkowski
2011	J	`jnl`	Self Controlling Tabu Search algorithm for the Quadratic Assignment Problem. Comput. Ind. Eng. Nilgün Fescioglu-Ünver, Mieczyslaw M. Kokar
2011	—	`conf`	Semantic Policy Enforcement and Reconciliation for Information Exchange in XMPP. STIDS Brian Ulicny, Won Ng, Oleg Simakoff, Jakub Moskal, Mieczyslaw M. Kokar
2011	C	`conf`	Toward formal reasoning with epistemic policies about information quality in the twittersphere. FUSION Brian Ulicny, Mieczyslaw M. Kokar
2010	—	`conf`	A Semantic Wiki Alerting Environment Incorporating Credibility and Reliability Evaluation. STIDS Brian Ulicny, Christopher J. Matheus, Mieczyslaw M. Kokar
2010	C	`conf`	Current approaches to automated information evaluation and their applicability to Priority Intelligence Requirement answering. FUSION Brian Ulicny, Christopher J. Matheus, Gerald M. Powell, Mieczyslaw M. Kokar
2010	C	`conf`	High Level Information Fusion developments, issues, and grand challenges: Fusion 2010 panel discussion. FUSION Erik Blasch, James Llinas, Dale A. Lambert, Pierre Valin, Subrata Das, Chee Chong, Mieczyslaw M. Kokar, Elisa Shahbazian
2010	J	`jnl`	Metrics For Monitoring A Social-Political Blogosphere: A Malaysian Case Study. IEEE Internet Comput. Brian Ulicny, Mieczyslaw M. Kokar, Christopher J. Matheus
2010	J	`jnl`	On the Use of Q IEEE Trans. Intell. Transp. Syst. Mei Li, Mieczyslaw M. Kokar
2009	J	`jnl`	High-level information fusion and situation awareness. Inf. Fusion Mieczyslaw M. Kokar, Gee Wah Ng
2009	J	`jnl`	Language Issues for Cognitive Radio. Proc. IEEE Mieczyslaw M. Kokar, Leszek Lechowicz
2009	J	`jnl`	Ontology-based situation awareness. Inf. Fusion Mieczyslaw M. Kokar, Christopher J. Matheus, Kenneth Baclawski
2009	C	`conf`	Towards the formal representation of temporal aspects of Enemy/Threat Courses Of Action. FUSION Christopher J. Matheus, Brian Ulicny, Mieczyslaw M. Kokar, Gerald M. Powell
2008	—	`conf`	A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor. POLICY Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne
2008	—	`conf`	Application of Self Controlling Software Approach to Reactive Tabu Search. SASO Nilgün Fescioglu-Ünver, Mieczyslaw M. Kokar
2008	C	`conf`	Problems and prospects for formally representing and reasoning about enemy courses of action. FUSION Brian Ulicny, Christopher J. Matheus, Mieczyslaw M. Kokar, Gerald M. Powell
2007	—	`conf`	Uses of Ontologies in Open Source Blog Mining. OIC Brian Ulicny, Mieczyslaw M. Kokar, Christopher J. Matheus
2006	—	`ch.`	Applying Semantic Web Reasoning to Counter-Terrorism. Emergent Information Technologies and Enabling Policies for Counter-Terrorism Paul A. Kogut, Yui Leung, Kathleen Ryan, Linda Gohari, Mieczyslaw M. Kokar, Jerzy Letkowski
2006	—	`conf`	BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules. RuleML Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar
2006	C	`conf`	Category Theory-Based Synthesis of a Higher-Level Fusion Algorithm: An Example. FUSION Mieczyslaw M. Kokar, Kenneth Baclawski, Hongge Gao
2006	J	`jnl`	Issues and Challenges in Situation Assessment (Level 2 Fusion). J. Adv. Inf. Fusion Erik Blasch, Ivan Kadar, John S. Salerno, Mieczyslaw M. Kokar, Subrata Das, Gerald M. Powell, Daniel D. Corkill, Enrique H. Ruspini
2006	C	`conf`	Understanding the Role of Context in the Interpretation of Complex Battlespace Intelligence. FUSION Gerald M. Powell, Mieczyslaw M. Kokar, Christopher J. Matheus, David Lorenz
2005	Misc	`conf`	An Application of Semantic Web Technologies to Situation Awareness. ISWC Christopher J. Matheus, Mieczyslaw M. Kokar, Kenneth Baclawski, Jerzy Letkowski
2005	—	`conf`	Effects of Computation Speed on the Stability of a Self-Controlling Process. ECBS Nilgün Fescioglu-Ünver, Mieczyslaw M. Kokar
2005	—	`conf`	Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario. RuleML Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar, Jerzy Letkowski
2004	J	`jnl`	Control based sensor management for a multiple radar monitoring scenario. Inf. Fusion Yong Xun, Mieczyslaw M. Kokar, Kenneth Baclawski
2004	J	`jnl`	Formalizing classes of information fusion systems. Inf. Fusion Mieczyslaw M. Kokar, Jerzy A. Tomasik, Jerzy Weyman
2004	Misc	`conf`	Towards a Symptom Ontology for Semantic Web Applications. ISWC Kenneth Baclawski, Christopher J. Matheus, Mieczyslaw M. Kokar, Jerzy Letkowski, Paul A. Kogut
2004	B	`conf`	Using a Task-Specific QoS for Controlling Sensing Requests and Scheduling. NCA Yong Xun, Mieczyslaw M. Kokar, Kenneth Baclawski
2003	—	`conf`	Constructing RuleML-Based Domain Theories on Top of OWL Ontologies. RuleML Christopher J. Matheus, Mieczyslaw M. Kokar, Kenneth Baclawski, Jerzy Letkowski
2002	Misc	`conf`	Consistency Checking of Semantic Web Ontologies. ISWC Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut
2002	J	`jnl`	Extending the Unified Modeling Language for ontology development. Softw. Syst. Model. Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, Jerzy Letkowski, Pat Emery
2002	J	`jnl`	UML for ontology development. Knowl. Eng. Rev. Paul A. Kogut, Stephen Cranefield, Lewis Hart, Mark Dutra, Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E. Smith
2001	J	`jnl`	A formal approach to the design of feature-based multi-sensor recognition systems. Inf. Fusion Mieczyslaw M. Kokar, Zbigniew Korona
2001	—	`conf`	Consistency Checking of RM-ODP Specifications. WOODPECKER Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E. Smith, Jerzy Letkowski
2001	—	`conf`	Extending UML to Support Ontology Engineering for the Semantic Web. UML Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, William S. Holmes III, Jerzy Letkowski, Michael L. Aronson
2001	—	`conf`	Formal Verification of UML Diagrams: A First Step Towards Code Generation. pUML Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski
2001	—	`conf`	SSCS: A Smart Spell Checker System Implementation Using Adaptive Software Architecture. IWSAS Deepak Seth, Mieczyslaw M. Kokar
2000	J	`jnl`	An architecture for software that adapts to changes in requirements. J. Syst. Softw. Yönet A. Eracar, Mieczyslaw M. Kokar
2000	—	`conf`	Mapping an Application to a Control Architecture: Specification of the Problem. IWSAS Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Baclawski, Jeffrey E. Smith
1999	J	`jnl`	Control theory-based foundations of self-controlling software. IEEE Intell. Syst. Mieczyslaw M. Kokar, Kenneth Baclawski, Yönet A. Eracar
1999	J	`jnl`	IRM: The Integrated Reference Model for Open Systems Environments. J. Syst. Integr. Mieczyslaw M. Kokar, Nancy Daly
1999	—	`ch.`	Object-Oriented Transformation. Behavioral Specifications of Businesses and Systems Kenneth Baclawski, Scott A. DeLoach, Mieczyslaw M. Kokar, Jeffrey E. Smith
1999	J	`jnl`	Q2 Symbolic Reasoning about Noisy Dynamic Systems. J. Intell. Robotic Syst. Stephen P. Linder, Zbigniew Korona, Mieczyslaw M. Kokar
1998	J	`jnl`	Capturing a Qualitative Model of Network Perofrmance and Predicting Behavior. J. Netw. Syst. Manag. Sule O. Ibraheem, Mieczyslaw M. Kokar, Lundy Lewis
1997	J	`jnl`	Desktop Agent Manager (DAM): Decision Mechanism. Int. J. Hum. Comput. Interact. Deborah Ann Guerrera Ercolini, Mieczyslaw M. Kokar
1995	J	`jnl`	A framework for on-line learning of plant models and control policies for restructurable control. IEEE Trans. Syst. Man Cybern. Spiridon Reveliotis, Mieczyslaw M. Kokar
1995	J	`jnl`	Learning to monitor a machine tool. J. Intell. Robotic Syst. Mieczyslaw M. Kokar, Jerzy Letkowski, Thomas F. Callahan
1995	J	`jnl`	On consistent symbolic representations of general dynamic systems. IEEE Trans. Syst. Man Cybern. Mieczyslaw M. Kokar
1993	J	`jnl`	Reinforcement learning: Architectures and algorithms. Int. J. Intell. Syst. Mieczyslaw M. Kokar, Spiridon Reveliotis
1991	—	`conf`	Learning to Select a Model in a Changing World. ML Mieczyslaw M. Kokar, Spyros A. Reveliotis
1989	—	`conf`	Concept Discovery Through Utilization of Invariance Embedded in the Description Language. ML Mieczyslaw M. Kokar
1988	C	`conf`	Uncertainty in a Numeric Concept Discovery System. IPMU Mieczyslaw M. Kokar, David L. Rumpf, Bernard E. Sawaf
1987	A*	`conf`	Critical Hypersurfaces and the Quantity Space. AAAI Mieczyslaw M. Kokar
1987	C	`conf`	Generating Qualitative Representations of Continuous Physical Processes. ISMIS Mieczyslaw M. Kokar
1986	J	`jnl`	Determining Arguments of Invariant Functional Descriptions. Mach. Learn. Mieczyslaw M. Kokar
1986	A*	`conf`	Discovering Functional Formulas through Changing Representation Base. AAAI Mieczyslaw M. Kokar