The following pages link to Krystian Jobczyk (Q2814119):
Displayed 11 items.
- Selected Temporal Logic Systems: An Attempt at Engineering Evaluation (Q2814121) (← links)
- Why Systems of Temporal Logic Are Sometimes (Un)useful? (Q2814135) (← links)
- New Integral Approach to the Specification of STPU-Solutions (Q2814136) (← links)
- Comparative Approach to the Multi-Valued Logic Construction for Preferences (Q2814147) (← links)
- STRIPS in Some Temporal-Preferential Extension (Q5077559) (← links)
- Dynamic Epistemic Preferential Logic of Action (Q5077585) (← links)
- Multi-valued Extension of Putnam-Davis Procedure (Q5077591) (← links)
- The Hybrid Plan Controller Construction for Trajectories in Sobolev Space (Q5881166) (← links)
- Temporal Traveling Salesman Problem – in a Logic- and Graph Theory-Based Depiction (Q5881167) (← links)
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability (Q6064250) (← links)
- The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures (Q6427693) (← links)