Horn antennas can result in good impedance matching between the waveguide and free space due to the gradual increase in the aperture size. In this paper, a novel plasmonic sectoral horn nanoantenna based on using lens in the aperture is proposed. It is investigated that in addition to improvement of the directivity, the reflection coefficient is also reduced using the proper lens structure. The...

Following the recent trend of adapting the AGM (Alchourrón and Makinson 1985) framework to propositional Horn logic, Delgrande and Peppas (Delgrande and Peppas 2011) give a model theoretic account for revision in the Horn logic setting. The current paper complements their work by studying the model theoretic approach for contraction. A model based Horn contraction is constructed and shown to gi...

Automatic program verification and symbolic model checking tools interface with theorem proving technologies that check satisfiability of formulas. A theme pursued in the past years by the authors of this paper has been to encode symbolic model problems directly as Horn clauses and develop dedicated solvers for Horn clauses. Our solvers are called Duality, HSF, SeaHorn, and μZ and we have devot...

Near-Horn Prolog is a logic programming language which extends Prolog to handle non-Horn clauses. It was designed with the goal of minimizing the performance loss for programs with very few non-Horn clauses, while preserving the Prolog format. In this paper, we present a version of near-Horn Prolog that provides a stronger proof system than used by previous near-Horn procedures, and takes advan...

A recent direction within belief revision theory is to develop a theory of belief change for the Horn knowledge representation framework. We consider questions related to the complexity aspects of previous work, leading to questions about Horn envelopes (or Horn LUB’s), introduced earlier in the context of knowledge compilation. A characterization is obtained of the remainders of a Horn belief ...

This report presents a case of a 31-year-oldwoman successfully treatedmedically for a noncommunicating rudimentary horn ectopic pregnancy who presented with a second, successive rudimentary horn pregnancy. Patient underwent laparoscopic excision of right rudimentary horn and right salpingectomy after failedmethotrexate therapy. Given the potential for rupture and recurrence, serious efforts sho...

This report presents a case of a 31-year-old woman successfully treated medically for a noncommunicating rudimentary horn ectopic pregnancy who presented with a second, successive rudimentary horn pregnancy. Patient underwent laparoscopic excision of right rudimentary horn and right salpingectomy after failed methotrexate therapy. Given the potential for rupture and recurrence, serious efforts ...

In classical, AGM-style belief change, it is assumed that the underlying logic contains classical propositional logic. This is clearly a limiting assumption, particularly in Artificial Intelligence. Consequently there has been recent interest in studying belief change in approaches where the full expressivity of classical propositional logic is not obtained. In this paper we investigate belief ...

Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn core, respectively) was proposed by Selman and Kautz (1991, 1996) as a form of \knowledge compilation," supporting rapid approximate reasoning; on the negative side, this scheme is static in that it supports no updates, and has certain complexity drawbacks pointed out by Kavvadias, Papadimitriou an...