Mieczyslaw M. Kokar

Orcid: 0000-0001-9243-3089

According to our database1, Mieczyslaw M. Kokar authored at least 80 papers between 1986 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning.
SN Comput. Sci., March, 2023

2022
Ontology-based Detection of Inconsistencies in UML/OCL Models.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021
SPARQL Query Generator (SQG).
J. Data Semant., 2021

2020
RDF object description generator.
Int. J. Web Eng. Technol., 2020

Degrees of Information Relevance in Situation Assessment.
Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2020

2018
IEEE 1900.5.2: Standard Method for Modeling Spectrum Consumption: Introduction and Use Cases.
IEEE Commun. Stand. Mag., 2018

Dynamic Deployment of Communication Applications to Different Hardware Platforms using Ontological Representations.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

A Method to Identify Relevant Information Sufficient to Answer Situation Dependent Queries.
Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2018

2017
A standard method for modeling spectrum consumption.
Proceedings of the 2017 IEEE International Symposium on Dynamic Spectrum Access Networks, 2017

2016
Reusability of knowledge for deriving latent situational information in EW scenarios.
Proceedings of the 2016 IEEE Military Communications Conference, 2016

2015
A situation assessment framework for cyber security information relevance reasoning.
Proceedings of the 18th International Conference on Information Fusion, 2015

2014
Inference and Ontologies.
Proceedings of the Cyber Defense and Situational Awareness, 2014

Using UML and OCL for representing multiobjective combinatorial optimization problems.
J. Intell. Manuf., 2014

Comprehension of RDF Data Using Situation Theory and Concept Maps.
Proceedings of the Ninth Conference on Semantic Technology for Intelligence, 2014

Inferring relations and individuals relevant to a situation: An example.
Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2014

2013
Situational Awareness from Social Media.
Proceedings of the Eighth Conference on Semantic Technologies for Intelligence, 2013

IEEE DySPAN 1900.5 Efforts to Support Spectrum Access Standardization.
Proceedings of the 32th IEEE Military Communications Conference, 2013

Welcome message.
Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2013

2012
Self-control of the time complexity of a constraint satisfaction problem solver program.
J. Syst. Softw., 2012

Situation Awareness and Cognitive Modeling.
IEEE Intell. Syst., 2012

Network composition for situation assessment: A "trusted meeting" case study.
Proceedings of the 15th International Conference on Information Fusion, 2012

Situations and policies.
Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2012

2011
Self Controlling Tabu Search algorithm for the Quadratic Assignment Problem.
Comput. Ind. Eng., 2011

Semantic Policy Enforcement and Reconciliation for Information Exchange in XMPP.
Proceedings of the Sixth International Conference on Semantic Technologies for Intelligence, 2011

Toward formal reasoning with epistemic policies about information quality in the twittersphere.
Proceedings of the 14th International Conference on Information Fusion, 2011

Augmenting the analyst via situation-dependent reasoning with trust-annotated facts.
Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2011

Welcome to IEEE CogSIMA 2011 in Miami!
Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2011

2010
On the Use of Q<sup>2</sup> Abstractions to Lower the Computational Cost of Derivation of Conflict Resolution Advisories in Air Traffic Control.
IEEE Trans. Intell. Transp. Syst., 2010

Metrics For Monitoring A Social-Political Blogosphere: A Malaysian Case Study.
IEEE Internet Comput., 2010

A Semantic Wiki Alerting Environment Incorporating Credibility and Reliability Evaluation.
Proceedings of the Fifth International Conference on Semantic Technologies for Intelligence, 2010

Current approaches to automated information evaluation and their applicability to Priority Intelligence Requirement answering.
Proceedings of the 13th Conference on Information Fusion, 2010

High Level Information Fusion developments, issues, and grand challenges: Fusion 2010 panel discussion.
Proceedings of the 13th Conference on Information Fusion, 2010

2009
Language Issues for Cognitive Radio.
Proc. IEEE, 2009

High-level information fusion and situation awareness.
Inf. Fusion, 2009

Ontology-based situation awareness.
Inf. Fusion, 2009

Towards the formal representation of temporal aspects of Enemy/Threat Courses Of Action.
Proceedings of the 12th International Conference on Information Fusion, 2009

2008
Application of Self Controlling Software Approach to Reactive Tabu Search.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor.
Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Problems and prospects for formally representing and reasoning about enemy courses of action.
Proceedings of the 11th International Conference on Information Fusion, 2008

2007
Uses of Ontologies in Open Source Blog Mining.
Proceedings of the Ontologies and Semantic Technologies for Intelligence [papers from the Second International Ontology for the Intelligence Community (OIC) Conference, 2007

2006
Issues and Challenges in Situation Assessment (Level 2 Fusion).
J. Adv. Inf. Fusion, 2006

BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

Understanding the Role of Context in the Interpretation of Complex Battlespace Intelligence.
Proceedings of the 9th International Conference on Information Fusion, 2006

Category Theory-Based Synthesis of a Higher-Level Fusion Algorithm: An Example.
Proceedings of the 9th International Conference on Information Fusion, 2006

Applying Semantic Web Reasoning to Counter-Terrorism.
Proceedings of the Emergent Information Technologies and Enabling Policies for Counter-Terrorism, 2006

2005
An Application of Semantic Web Technologies to Situation Awareness.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Effects of Computation Speed on the Stability of a Self-Controlling Process.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004
Control based sensor management for a multiple radar monitoring scenario.
Inf. Fusion, 2004

Formalizing classes of information fusion systems.
Inf. Fusion, 2004

Towards a Symptom Ontology for Semantic Web Applications.
Proceedings of the Semantic Web, 2004

Using a Task-Specific QoS for Controlling Sensing Requests and Scheduling.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

2003
Constructing RuleML-Based Domain Theories on Top of OWL Ontologies.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

2002
Extending the Unified Modeling Language for ontology development.
Softw. Syst. Model., 2002

UML for ontology development.
Knowl. Eng. Rev., 2002

Consistency Checking of Semantic Web Ontologies.
Proceedings of the Semantic Web, 2002

2001
A formal approach to the design of feature-based multi-sensor recognition systems.
Inf. Fusion, 2001

Consistency Checking of RM-ODP Specifications.
Proceedings of the Open Distribute Processing: Enterprise, 2001

Formal Verification of UML Diagrams: A First Step Towards Code Generation.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Extending UML to Support Ontology Engineering for the Semantic Web.
Proceedings of the «UML» 2001, 2001

SSCS: A Smart Spell Checker System Implementation Using Adaptive Software Architecture.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

2000
An architecture for software that adapts to changes in requirements.
J. Syst. Softw., 2000

Mapping an Application to a Control Architecture: Specification of the Problem.
Proceedings of the Self-Adaptive Software, First International Workshop, 2000

1999
IRM: The Integrated Reference Model for Open Systems Environments.
J. Syst. Integr., 1999

Q2 Symbolic Reasoning about Noisy Dynamic Systems.
J. Intell. Robotic Syst., 1999

Control theory-based foundations of self-controlling software.
IEEE Intell. Syst., 1999

Object-Oriented Transformation.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
Capturing a Qualitative Model of Network Perofrmance and Predicting Behavior.
J. Netw. Syst. Manag., 1998

1997
Desktop Agent Manager (DAM): Decision Mechanism.
Int. J. Hum. Comput. Interact., 1997

1995
A framework for on-line learning of plant models and control policies for restructurable control.
IEEE Trans. Syst. Man Cybern., 1995

On consistent symbolic representations of general dynamic systems.
IEEE Trans. Syst. Man Cybern., 1995

Learning to monitor a machine tool.
J. Intell. Robotic Syst., 1995

1993
Reinforcement learning: Architectures and algorithms.
Int. J. Intell. Syst., 1993

1991
Learning to Select a Model in a Changing World.
Proceedings of the Eighth International Workshop (ML91), 1991

1989
Concept Discovery Through Utilization of Invariance Embedded in the Description Language.
Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989

1988
Uncertainty in a Numeric Concept Discovery System.
Proceedings of the Uncertainty and Intelligent Systems, 1988

1987
Generating Qualitative Representations of Continuous Physical Processes.
Proceedings of the Methodologies for Intelligent Systems, 1987

Critical Hypersurfaces and the Quantity Space.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Determining Arguments of Invariant Functional Descriptions.
Mach. Learn., 1986

Discovering Functional Formulas through Changing Representation Base.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986


  Loading...