MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Order Sorted Predicate Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 58 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Visual and Textual Knowledge Representation in DESIRE  
  • by Catholijn M. Jonker, Rob Kremer, Pim Van Leeuwen, Dong Pan — 1999 — Multiple Approaches to Intelligent Systems (Proc. of the 12th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA/AIE’99). Lecture Notes in AI
  • …. Finally, a mapping is presented from DESIRE, that is based on order sorted predicate logic, to Conceptual…
  • Cited by 1 (1 self) – Add To MetaCart
  • Modelling Internal Dynamic Behaviour of BDI Agents  
  • by Frances Brazier Barbara, Barbara Dunin-keplicz B, Jan Treur A, Rineke Verbrugge A
  • …. The signatures used to name the information are defined in a predicate logic with a hierarchically ordered sort…
  • Add To MetaCart
  • Reusing Analogous Components  
  • by Betty H. C. Cheng, Betty H. C. Cheng, Jun-Jang Jeng, Jun-jang Jeng — 1994 — IEEE Transactions on Knowledge and Data Engineering
  • … variables, sorts (types) are added to FOPL to obtain order-sorted predicate logic (OSPL). Moreover…
  • Cited by 9 (2 self) – Add To MetaCart
  • Reusing Analogous Components  
  • by Jun-Jang Jeng And, Jun-jang Jeng, Betty H. C. Cheng — 1994 — IEEE Transactions on Knowledge and Data Engineering
  • … to FOPL to obtain order-sorted predicate logic (OSPL). Moreover, ordersorted specifications have been…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB